 |
|
- December 27--30, 2008
- 2008-09 ASL Winter Meeting (with APA)
- January 5--8, 2009
- 2008-09 ASL Winter Meeting (with Joint Mathematics Meetings)
- May 20--23, 2009
- 2009 ASL North American Annual Meeting
- July 31--August 5, 2009
- 2009 ASL European Summer Meeting (Logic Colloquium '09)
- March 17--20, 2010
- 2010 ASL North American Annual Meeting
2008-09 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania
December 27--30, 2008
This meeting will be held jointly with the Annual Meeting of the
Eastern Division
of the American Philosophical Association.
The program includes three invited sessions.
For the first, a panel on Historical Ideals of Rigor in
Mathematics, the invited speakers are: J. Folina, D. Jesseph, and
D. Schlimm. The second invited panel, on Diagrammatic Reasoning in
Mathematics, includes the following
speakers: E. Grosholz, K. Manders, and S.-J. Shin. The speaker
for the third invited session is S. Kripke, whose talk is entitled,
The Collapse of the Hilbert Program. The members of the Program
Committee are W. Ewald (Chair), J. Floyd, and M. Hallett. A
registration form and hotel information is enclosed in the Newsletter
mailing sent to ASL members.
2008-09 ASL Winter Meeting (with Joint Mathematics Meetings) Washington, DC
January 5--8, 2009
This meeting will take place in conjunction with the Joint
Mathematics Meetings. The invited speakers include: B. Csima, I.
Epstein, R. Moosa, C. Rosendal, Jouko Väänänen, and A. Visser.
In addition to the ASL program, there will be two joint AMS-ASL Special
Sessions: "Logic and Dynamical Systems,'' organized by S. Simpson,
"Model Theoretic Methods in Finite Combinatorics,'' organized by M.
Grohe and J. Makowsky. The members of the Program Committee are A.
Enayat (Chair), S. Thomas, and R. Weber. A registration form and hotel
information is enclosed in the Newsletter mailing sent to ASL members.
2009 ASL North American Annual Meeting Notre Dame, Indiana
May 20--23, 2009
The
members of the Program Committee are: R. Heck, W. Henson, J. Knight,
R. Moosa, A. Urquhart (Chair), and M. Zeman. The members of the Local
Organizing Committee include: T. Bays, P. Blanchette,
S. Buechler, P. Cholak, M. Detlefsen (Co-chair), C. Franks, J. Knight,
and S. Starchenko (Co-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 below). Abstracts must be received by the deadline of
February 9, 2009, 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.