Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

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
Click here to view the rules for submitting abstracts.

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.

<top>

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.


<top>

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.


<top>

2009 ASL European Summer Meeting (Logic Colloquium '09) Sofia, Bulgaria
July 31--August 5, 2009
The Program Committee includes: S. Abramsky, K. Ambos-Spies, J. Bagaria (Chair), F. Ferreira, M. Goldstern, E. Grädel, E. Hrushovski, T.Hyttinen, Y. Moschovakis, M. Otero, S. Shapiro, I. Soskov, and W.H. Woodin. The Local Organizing Committee includes: D. Dobrev, D. Guelev, L. Ivanov, S. Nikolova, S. Passy, A. Soskova (Chair), M. Soskova, M. Yanchev, and A. Zinoviev. For further information, visit http://lc2009.fmi.uni-sofia.bg/.

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---hard copy or email---should be received before the deadline of April 15, 2009 at the official meeting address: Logic Colloquium 2009, Department of Mathematical Logic, Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria; email: lc2009@fmi.uni-sofia.bg.


<top>

2010 ASL North American Annual Meeting Washington, D.C.
March 17--20, 2010
The Local Organizing Committee includes: A. Enayat, A. Eskandarian, J. Goodrick, V. Harizanov (Chair), and A. Kolesnikov.

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]