22000033 AAnnnnuuaall MMeeeettiinngg

AAssssoocciiaattiioonn ffoorr SSyymmbboolliicc LLooggiiccJJuunnee 11––44,, 22000033

UUNNIIVVEERRSSIITTYY OOFF IILLLLIINNOOIISS AATT CCHHIICCAAGGOOCChhiiccaaggoo,, IIlllliinnooiiss

Plenary Speakers Alan Dow, University of North Carolina

at CharlotteYuri Gurevich, Microsoft ResearchUlrich Kohlenbach, University of AarhusPhokion Kolaitis, University of California,

Santa CruzLeonid Levin, Boston University Michael Makkai, McGill UniversityRalph McKenzie, Vanderbilt UniversityCharles Parsons, Harvard UniversityDon Pigozzi, Iowa State UniversityAndrzej Roslanowski, University of Nebraska,

OmahaSergei Starchenko, University of Notre Dame

Fourteenth Annual Gödel LectureBoris Zilber, Oxford University

Award of the Carol Karp Prize

Special Sessions (organizers in parentheses)Algebraic Logic and Universal Algebra

(Joel Berman and Willem Blok)Computability Theory and Effective Mathematics

(Denis Hirschfeldt and Robert Soare)Model Theory

(John Baldwin and David Marker)

Photograph: Copyright 2002 www.windycityart.com

Program CommitteeJohn Baldwin, Andreas Blass (chair), Timothy Carlson, W. D. Hart, Denis Hirschfeldt, David MacQueen, Donald Monk

Local Organizing CommitteeWillem Blok, W. D. Hart (chair), William Howard,David Marker

Financial SupportAssociation for Symbolic LogicUniversity of Illinois at Chicago

Graduate Student Travel Support Deadline for applications is March 17, 2003

Abstracts of contributed talks from ASLmembers must be received by the deadline of February 17, 2003, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USAfax: 1-845-437-7830; email: asl@vassar.eduAbstracts must satisfy ASL Rules for Abstracts

Informationhttp://www.aslonline.orgasl@vassar.eduhttp://www.math.uic.edu/~marker/asl-03

(local information)

p0300797 Phil. flier 1/21/03 1:52 PM Page 1