Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

July 14--19, 2014
2014 ASL European Summer Meeting (Logic Colloquium '14)
December 27--30, 2014
2014-15 ASL Winter Meeting (with APA)
January 10--13, 2015
2014-15 ASL Winter Meeting (with Joint Mathematics Meetings)
Click here to view the rules for submitting abstracts.

2014 ASL European Summer Meeting (Logic Colloquium '14) Vienna, Austria
July 14--19, 2014
Logic Colloquium '14 will take place during the Vienna Summer of Logic (see below). The twenty-fifth annual Gödel Lecture will be delivered by J. Knight. The invited speakers are: A. Bauer, P. Blanchette, K. Eisenträger, A. Cordón Franco, V. Fischer, N. Greenberg, L. KoLodziejczyk, B. Miller, M. Reynolds, M. Soskova, and A. Visser. Tutorials will be offered by K. Apt and A. Miquel. Special Sessions (with organizers in parentheses) that are planned include: Logic of games and rational choice (R. Ramanujam), Model theory (Z. Chatzidakis), Perspectives on induction (M. Baaz, S. Hetzl; joint with LICS/CSL), Philosophy of mathematics (\O. Linnebo), The place of logic in computer science education (H. Veith and R. Zach), Recursion theory (E. Fokina and D. Turetsky), and Set theory (M. Goldstern and J. Kellner). The Program Committee members are: Z. Adamowicz, J. Avigad (Chair), M. Bezem, S. Friedman, J. Koenigsman, K. Lodaya, P. Oliva, T. Slaman, and R. Zach. The Local Organizing Committee includes: M. Baaz (Chair), A. Ciabattoni, S. Eberhard, M. Goldstern, and S. Hetzl (Co-chair). For more information, visit http://www.logic.at/lc2014/.


http://www.logic.at/lc2014/

<top>

2014-15 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania
December 27--30, 2014
This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The members of the Program Committee are V. Tannen and S. Weinstein (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 September 12, 2014, 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>

2014-15 ASL Winter Meeting (with Joint Mathematics Meetings) San Antonio, Texas
January 10--13, 2015
This meeting will take place in conjunction with the Joint Mathematics Meetings. The members of the Program Committee are W. Calvert, S. Jackson (Chair), and M. Malliaris. 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 above). Abstracts must be received by the deadline of September 8, 2014, 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>

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