Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

April 16--17, 2014
2013-14 ASL Spring Meeting (with APA)
May 19--22, 2014
2014 ASL North American Annual Meeting
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.

2013-14 ASL Spring Meeting (with APA) San Diego, California
April 16--17, 2014
This meeting will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association, April 16--20, 2014. The invited portion of the program includes three panels: New work on intensional and epistemic logic, chaired by S. Walsh with the speakers S. Artemov, J. Horty, and D. Tucker; Formalism today, chaired by Z. Damnjanovic with the speakers M. Ganea, L. Kirby, E. Nelson, and A. Weir; and, Metalogic and early analytic philosophy, chaired by E. Reck with the speakers P. Blanchette, G. Schiemer, and R. Zach. The members of the Program Committee are Z. Damnjanovic, E. Reck (Chair), and S. Walsh. The complete program for this meeting is included in the January 2014 Newsletter mailing to ASL members. Information about registration and hotel reservations can be found at http://www.apaonline.org/group/pacific.


<top>

2014 ASL North American Annual Meeting Boulder, Colorado
May 19--22, 2014
The invited speakers are: L. Barto, B. Csima, V. de Paiva, J. Hirst, M. Hrusak, A. Kolesnikov, A. Marks, M.C. Laskowski, and S. Walsh. Alex Wilkie will give an ASL retiring presidential address. Special sessions (organizers in parentheses) include: Logic and Algorithms for Higher-Order Computation (N. Kobayashi and L. Ong), Model theory (P. Hieronymi and J. Marikova), Philosophical aspects of games and social algorithms (E. Pacuit and R. Parikh), Recursion theory (O. Levin and R. Solomon), Set theory in honor of Rich Laver (J. Larson and W. Mitchell), and Universal Algebra and Constraint Satisfaction (A. Szendrei and R. Willard). The Program Committee includes: M. Groszek (Chair), A. Kanamori, K. Kearnes, J. Marikova, S. Thomas, and H. Towsner. The Local Organizing Committee members are: N. Dobrinen, G. Forbes, N. Galatos, K. Kearnes (Chair), D. Monk, and A. Szendrei. Registration is available at https://aslonline.org/meeting_registrationsecure.html. A program is enclosed with the April Newsletter mailing to ASL members. For more information, visit the website below.
http://math.colorado.edu/asl2014/

<top>

2014 ASL European Summer Meeting (Logic Colloquium '14) Vienna, Austria
July 14--19, 2014
This meeting takes 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 (organizers in parentheses) include: Logic in computer science education (H. Veith), Logic of games/rational choice (R. Ramanujam), Model theory (Z. Chatzidakis), Perspectives on induction (M. Baaz, S. Hetzl; joint with LICS/CSL), Philosophy of mathematics (\O. Linnebo), Recursion theory (E. Fokina and D. Turetsky), and Set theory (M. Goldstern and J. Kellner). The Program Committee includes: 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/.

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 should be submitted by the deadline of April 11, 2014 at https://www.easychair.org/conferences/?conf=lc2014. 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]