Ninth Scandinavian Logic Symposium (SLS'2014) Tampere, Finland
August 25--27, 2014
This event is the biannual meeting of the Scandinavian Logic Society (http://scandinavianlogic.org/). The scope of SLS'2014 is broad, ranging over the whole of mathematical and philosophical logic, as well as logical methods in computer science, artificial intelligence, linguistics, etc. Major topics include (but are not limited to): algebra and logic, categorical logic, computability theory, constructivism, logic and computer science, logic and linguistics, logic in AI and multi-agent systems, logics of games, model theory, non-classical logics, philosophical logic, proof theory, and set theory. Invited speakers include: T. \AA gotnes, M. Gehrke, V. Halbach, A. Törnquist, and J. Väänänen. The Co-Chairs of the Program Committee are V. Goranko and S. Negri and the Chair of the Local Organizing Committee is L. Hella. For further information, visit the website below.
Twenty-first Workshop on Logic, Language, Information and
Computation (WoLLIC'2014) Valparaiso, Chile
September 1--4, 2014
This is the twenty-first in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The Chair of the Program Committee is U. Kohlenbach. The Co-chairs of the Organizing Committee are P. Barceló and R. de Queiroz. For further information, visit the webpage below.
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: firstname.lastname@example.org.
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: email@example.com.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]