Logic List Mailing Archive

2004 ASL Spring Meeting Chicago IL (together with Central Division APA meeting), April 2004

2004 ASL Spring Meeting (with APA)
Chicago, Illinois
April 22-25, 2004

This meeting will be held jointly with the Annual Meeting of the Central
Division of the American Philosophical Association. The program includes
three invited sessions. The first, on Frege's Logic, will be chaired by M.  
Kremer and includes the speakers W. Goldfarb and E. Reck, and the
commentator, P. Sullivan. The session on The Philosophy of Proof Theory,
chaired by T. Bays, includes the speakers J. Avigad and M. Detlefsen, and
the commentator, W. Tait. The third session, on Category Theory and
Structuralism, will be chaired by S. Awodey, and includes the speakers G.  
Hellman and C. McClarty, and the commentator, D. Scott. The Program
Committee members for the ASL meeting are: S. Awodey, T. Bays, and M.  
Kremer (Chair). Abstracts of contributed talks submitted by ASL members
will be published in The Bulletin of Symbolic Logic if they satisfy the
Rules for Abstracts (see ASL website). Abstracts must be received by the
deadline of January 15, 2004, at the ASL Business Office: ASL, Box 742,
Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA;
Fax:  1-845-437-7830; email: asl@vassar.edu.

Note that the ASL Spring Meeting will be part of the large Central
Division APA meeting, for which you can volunteer as chair of a session or
commentator on the following page:

  http://www.apa.udel.edu/apa/divisions/central/commentator.asp

More information on the Central APA 2004 will become available on the APA
webpage.