E-mail, search functions, and current weather


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

ASL 2015 poster The twenty-sixth annual Gödel Lecture will be delivered by A. Wilkie, University of Manchester.

Invited speakers
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

Special Sessions

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.

Accommodations & Travel information

For a list of hotels offering conference rates, click here
For information about traveling to and in Urbana-Champaign, click here

Local organizing committee: Andrew Arana (Chair), Lou van den Dries, Slawomir Solecki, Philipp Hieronymi