Annual North American meeting of the
Association for Symbolic Logic
March 25-28, 2015
University of Illinois at Urbana-Champaign
News | Schedule | Registration | Hotels | Travel
The twenty-sixth annual Gödel Lecture will be delivered by A. Wilkie, University of Manchester.|
V. Becher, Universidad de Buenos Aires
D. Fernandez-Duque, Instituto Tecnologico Autonomo de Mexico
R. Grossberg, Carnegie Mellon University
Y. Gurevich, Microsoft Research
N. Immerman, University of Massachusetts Amherst
R. Miller, Queens College, City University of New York
A. Tserunyan, University of Illinois.
Invited two-hour tutorials
J. Cummings, Carnegie Mellon University
C. Miller, The Ohio State University
Computability (U. Andrews and S. Lempp)
Constructive mathematics (D. Bridges and V. Kreinovich)
Model theory of ordered structures (S. Starchenko and K. Peterzil)
Parametrized complexity (R. Downey and S. Gaspers)
Philosophy of mathematics (A. Arana and A. Yap)
Set theory (S. Solecki)
The members of the Program Committee are: D. Haskell (Chair) , P. Hieronymi, A. Montalban, A. Razborov, D. Sinapova, and H. Towsner.
Download a copy of the poster here.
Download a copy of the schedule here.
Pre-registration is handled through the ASL website.