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.
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 (with 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 members of the Program Committee are: M. Groszek (Chair), A. Kanamori, K. Kearnes, J. Marikova, S. Thomas, and H. Towsner. The Local Organizing Committee includes: N. Dobrinen, G. Forbes, N. Galatos, K. Kearnes (Chair), D. Monk, and A. Szendrei. Local information and a registration form are enclosed in the January 2014 Newsletter mailing to ASL members. Electronic registration is available at http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit the webpage below.
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 February 21, 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: email@example.com.
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/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 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 the webpage below.
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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]