Hitting and Covering Affine Families of Convex Polyhedra, with Applications to Robust Optimization - Wajsbrot, Sarah

Tracking Geometric Data in the Evolving Framework - Mount, David

Foundations of and recent trends in mixed-integer programming - Hojny, Christopher

SMT solving for fun and profit - Barbosa, Haniel

Logical Algorithmics: From Relational Queries to Boolean Reasoning - Vardi, Moshe

Combinatorial Problem Solving with Serial and Nonserial Decision Diagrams - Hooker, John

Incremental Inprocessing Rules beyond Resolution - Fazekas, Katalin

Unleashing the Power of SAT Solving on 0-1 Integer Linear Programs - Koops, Wietze

SAT Solving: A fresh intro and recent developments - Nadel, Alexander

A Pseudo-Boolean Solver Interface - Vinyals, Marc

Arrays, Maps, and Vectors With Abstract Domain for SMT - Bonacina, Maria Paola

Quantified CDCL and Dependency Schemes: A proof-theoretic study - Mahajan, Meena

Proofs (that contain programs that contain proofs)* - Rebola-Pardo, Adrian

Brauer groups and stacks - Lieblich, Max

Good moduli spaces - Rydh, David

Potential density of integral points and Campana's theory of special varieties and C-pairs - Javan Peykar, Ariyan

Naive homotopical techniques in algebraic geometry - Vakil, Ravi

On Brauer groups of stacky curves - Achenjang, Niven

Brauer groups in Stein geometry - Hotchkiss, James

Stacks, orthogonal groups, and Gauss composition - Voight, John

Formal GAGA for Brauer classes - Mathur, Siddharth

Constraint Programming -- A Personal Perspective - Pesant, Gilles

Dynamic Symmetry Breaking in Subgraph Isomorphism and beyond? - Hoffmann, Ruth

Semi-Algebraic Proof Systems for QBF - Kasche, Lea

Extended Resolution Clause Learning via Dual Implication Points - Oliveras, Albert

Root stack valuative criterion and applications - Bejleri, Dori

Rational points on stacks - Zureick-Brown, David