[FOM] call for abstracts -- 2004 spring asl meeting
kremer at uchicago.edu
Fri Sep 5 23:24:21 EDT 2003
2004 ASL Spring Meeting (with APA)
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.
More information about the FOM