Logic List Mailing Archive

Back-to-back logic meetings in the San Francisco Bay Area: ASL Annual Meeting (Stanford) and ASL Spring Meeting (San Francisco)

2005 ASL Annual Meeting Stanford, California
March 19--22, 2005

The invited speakers include: S. Awodey, R. Cluckers, I. Farah, S.
Feferman, D. Haskell, A. Morozov, V. Pestov, A. Scedrov, A. Weiermann, and
J. Zapletal. The Retiring Presidential Address will be given by R. Shore
and the Sixteenth Annual Gdel Lecture will be given by M. Magidor. A
tutorial on computer-aided verification will be offered by M. Vardi. There
also will be special sessions, with organizers in parentheses, on
computability and randomness (A. Nies), model theory (C. Miller and P.
Speisegger), proof theory and constructivity (S. Feferman and G. Mints),
and set theory and Borel structure (G. Hjorth and S. Solecki). The members
of the Program Committee are: J. Mitchell, M. Rathjen, S. Shapiro, R.
Solomon, P. Speissegger, and J. Steel (Chair). The members of the Local
Organizing Committee include: A. Arana, S. Feferman, G. Mints, J.
Mitchell, and R. Sommer (Chair). A registration form and
hotel/transportation information is enclosed in the January 2005
Newsletter mailing to ASL members. Electronic registration is available at
http://www.aslonline.org/meeting_registration.html. The Annual Meeting
Student Travel Grant application deadline has been extended to February
11, 2005. Visit http://www.aslonline.org/studenttravelawardext.html for
details. For additional information about the ASL meeting, visit the
website below. http://www.stanford.edu/~sommer/ASL.html

 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =

2005 ASL Spring Meeting (with APA) San Francisco, California
March 23--27, 2005

This meeting will be held jointly with the Annual Meeting of the Pacific
Division of the American Philosophical Association. The invited portion of
the program consists of two special sessions. The first, Logic Instruction
and Philosophy Graduate Training is chaired by A. Arana and R. Zach, and
includes the speakers D. Graff, M. Glanzberg, and T. Sider. The second,
Revising Beliefs about Game Theory: Strategies for Rational Choice is
chaired by A.S. Gillies, and includes the speakers J. van Benthem, R.
Parikh, and R. Stalnaker. The Program Committee members for the ASL
meeting are: A. Arana, A. Gillies, S. Lavine (Chair), and R. Zach.

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 below). Abstracts must be received by the deadline of December 10,
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.

For additional information about the APA meeting, visit the APA website,
http://apa.udel.edu/apa. For further information about the ASL sessions,
visit the website below.

http://www.phil.ucalgary.ca/asl-sf-2005/