2013-14 ASL Winter Meeting (with Joint Mathematics
Meetings) Baltimore, Maryland
January 17--18, 2014
This meeting will take place in conjunction with the Joint Mathematics Meetings, to be held on January 15--18, 2014. The invited speakers include: J. Avigad, D. Dzhafarov, S. Gao, J. Hamkins, M. Malliaris, and A. Medvedev. The Program Committee members are A. Dow (Chair), K. Lange, and D. Lippel. The meeting also includes the joint AMS-ASL Special Session, Logic and probability, co-chaired by W. Calvert, D. Cenzer, J. Franklin, and V. Harizanov. The complete program for this meeting is included in the November 2013 Newsletter mailing.
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, 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.
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: Higher-order computation: semantics and algorithmics (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.
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 Other Meetings). The invited speakers include: A. Bauer, P. Blanchette, V. Fischer, N. Greenberg, L. KoLodziejczyk, B. Miller, M. Reynolds, M. Soskova, and A. Visser. The twenty-fifth annual Gödel Lecture also will be delivered. 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), Philosophy of mathematics (M. Leng) Recursion theory (E. Fokina and D. Turetsky), and Set theory (M. Goldstern and P. Koellner) 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 further information, visit the website 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 March 28, 2014 at https://www.easychair.org/conferences/?conf=lc2014.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]