[FOM] APA/ASL Winter Meeting

Alasdair Urquhart urquhart at cs.toronto.edu
Sun Sep 4 16:54:46 EDT 2005

The Association for Symbolic Logic is holding its
2005-06 Winter Meeting with the American Philosophical Association
December 27-30 2005 in New York.  There are two sessions
of invited talks that should be of interest to FOM subscribers.

For the first session, "Recent Developments In Computer Science and Set
 Theory and their Philosophical Implications,'' the speakers are S. Artemov,
 P. Koellner, and M. Rabin. In the second session, "Foundational Issues in
 Modern History of Mathematics and Logic,'' J. Avigad, W. Sieg, and W. Tait
 will speak.

The program committee encourages submissions to the two sessions
of contributed talks, especially by students.  Any member of the ASL
is entitled to present a 20 minute contributed talk at a meeting of
the Association.  Abstracts of contributed talks submitted by ASL members
will be published in The Bulletin of Symbolic Logic if they satisfy the
Rules for Abstracts. Abstracts must be received by the deadline of 
September 9, 2005, 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.

Student members receive the same benefits as individual members, but
pay reduced membership dues of $35 per year.  Students can also apply for
travel awards.  For further details, please consult the ASL web site:


Program Committee

Melvin Fitting,
Haim Gaifman (Chair)
Alasdair Urquhart

More information about the FOM mailing list