[FOM] call for abstracts -- 2004 spring asl meeting

[Michael Kremer]

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 at vassar.edu.