Logic List Mailing Archive

2009 ASL North American Meeding

20-23 May 2009
Notre Dame IN, U.S.A.

2009 ASL North American Annual Meeting Notre Dame, Indiana
May 20--23, 2009
http://www.math.nd.edu/conferences/asl09

The invited speakers include: P. Blanchette, K. Fine, J. Kraijcek, H.
Mildenberger, A. Nies, A. Pillay, A. Razborov, A. Shlapentokh, J.
Steel, and B. Zilber. Alexander Kechris will deliver a retiring
presidential address. The following special sessions also are
planned: Complexity of Propositional Proofs, Computability Theory,
Model Theory, Set Theory, and The Structural View of Mathematical
Objects. The members of the Program Committee are: R. Heck, W.
Henson, J. Knight, R. Moosa, A. Urquhart (Chair), and M. Zeman. The
members of the Local Organizing Committee include: T. Bays, P.
Blanchette, S. Buechler, P. Cholak, M. Detlefsen (Co-chair), C.
Franks, J. Knight, and S. Starchenko (Co-chair). A program can be
found here. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html.