2009 Annual Meeting

May 20-23

University of Notre Dame

Visitors Information Hotel Accommodations ASL 2009 Home Hotel Accommodations Visitors Information Schedule Abstracts

For Registration go to:
http://www.aslonline.org/meeting_registrationsecure.html


Preliminary Program

Special Lecture:
Alekos Kechris (Caltech). Retiring presidential address.


Invited Plenary Speakers:
  • P. Blanchette (Notre Dame)
  • I. Ben Yaacov (Lyon) "Canceled"
  • K. Fine (NYU)
  • A. Kechris (Caltech)
  • J. Krajicek (Prague) "Canceled"
  • H. Mildenberger (Vienna)
  • A. Nies (Auckland)
  • A. Pillay (Leeds)
  • A. Razborov (Chicago)
  • A. Shlapentokh (East Carolina)
  • J. Steel (Berkeley)
  • B. Zilber (Oxford)

Special Sessions:
  • The structural view of mathematical objects
  • Complexity of propositional proofs
  • Set theory
  • Model theory
  • Computability theory

Local and Program Committees

The members of the Program Committee are: R. Heck, W. Henson, J. Knight, R. Moosa, A. Urquhart (Chair), 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, S.Starchenko (Co-chair).