Due to the public health concerns over COVID-19, the ASL Executive Committee, in consultation with the local organizers, made the difficult decision to cancel the Annual Meeting that was to be held at UC Irvine. For any questions, contact Russell Miller at russell.miller@qc.cuny.edu.
Here is the Virtual 2020 Annual Meeting, which serves as a virtual version of the cancelled 2020 North American Annual Meeting.
The 2020 North American Annual Meeting of the ASL will be held March 25-28 at the University of California, Irvine.
Program Committee
Liron Cohen (Cornell)
James Cummings (Carnegie Mellon)
Denis Hirschfeldt (Chicago | Chair)
Phokion Kolaitis (UC Santa Cruz)
Maryanthe Malliaris (Chicago)
Toby Meadows (UC Irvine)
Local Organizing Committee
Matthew D. Foreman
Isaac Goldbring (Chair)
Penelope Maddy
Toby Meadows
Kai F. Wehmeier
Martin Zeman
Plenary Speakers
Jeremy Avigad (Carnegie Mellon)
Omer Ben-Neria (Jerusalem)
Juliette Kennedy (Helsinki)
Rina Dechter (UC Irvine)
Benoit Monin (LACL/UPEC)
H. Jerome Keisler (Wisconsin)
Alexander Razborov (Chicago/Steklov)
Sandra Müller (KGRC, Vienna)
Tutorials
A tutorial on the logic of dependence and independence
Juoko Väänänen (Helsinki)
Paraconsistent logics: a tutorial
Anna Zamansky (Haifa)
Hilbert’s tenth problem beyond the integers
Hector Pasten (PUC Chile)
Special Sessions
Reverse mathematics and computability theory of Ramsey-theoretic principles
organizers: Damir Dzhafarov and Ludovic Patey
Model theory
organizers: James Freitag and Ozlem Beyarslan
Logic and graph limits
organizers: Cameron Freer and Rehana Patel
Proof theory
organizers: Valeria de Paiva, Elaine Pimentel, and Reuben Rowe
Finite model theory and descriptive complexity
organizers: Artem Chernikov, Neil Immerman, and Scott Weinstein
Forcing and Ramsey theory
organizers: Dana Bartosova and Assaf Rinot
Philosophy and logic
organizer: Toby Meadows