The Association for Symbolic Logic's Annual 2004 meeting will be held at Carnegie Mellon University from Wednesday, May 19 through Sunday morning, May 23.
Carnegie Mellon has a distinguished reputation for its interdisciplinary commitment to logic. Pittsburgh's numerous parks, museums, and cultural offerings make it a remarkably pleasant place to visit.
To register online, visit http://www.aslonline.org/meeting_registration.html. A PDF version of the registration form will be posted here when it becomes available.
The 2004 ASL annual meeting is collocating with Mathematical Foundations of Program Semantics, which will be held immediately following. Details regarding joint registration can be found on the registration page.
Abstracts of contributed talks from ASL members must be received by the deadline of February 10, 2004 at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA. Fax: 1-845-437-7830, e-mail: email@example.com. Abstracts must satisfy ASL Rules for Abstracts.
Program committee: Sergei Artemov (chair), Tomek Bartoszynski, Denis Hirschfeldt, Chris Laskowski, Wilfried Sieg.
Local organizing committee: Jeremy Avigad (chair), Steve Awodey, Lenore Blum, James Cummings, Ernest Schimmerling, Wilfried Sieg