New Mexico State University

Program Committee

Local Organizing Committee

Plenary Speakers

Sergei Artemov (CUNY)
Ben Castle (Illinois Urbana-Champaign)
Patrick Lutz (UC Berkeley)
Maryanthe Malliaris (Chicago)
Alejandro Poveda (Harvard)
Felix Weilacher (UC Berkeley)

Tutorial Speakers

Mariya Soskova (Wisconsin–Madison)
Julia Wolf (Cambridge)

Special Session Organizers

Computability Theory: Meng-Che (Turbo) Ho and Manlio Valenti
Model Theory: Nick Ramsey and Gabe Conant
Combinatorics and Logic: Andrew Marks, Damir Dzhafarov and Artem Chernikov
Modal Logic: Wesley Holiday and Ilya Shapirovsky
Set Theory: Dima Sinapova and Clinton Conley
Proof Assistants: Jonathan Weinberger and Patricia Johann