Logic List Mailing Archive

ASL Winter Meeting in New York (joint with APA), Dec 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@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:

http://www.aslonline.org/


Program Committee

Melvin Fitting,
Haim Gaifman (Chair)
Alasdair Urquhart