
Ninth Scandinavian Logic Symposium (SLS'2014) Tampere, Finland
August 2527, 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 multiagent systems, logics of games, model theory, nonclassical 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 CoChairs 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.
http://www.sis.uta.fi/SLS2014/
Twentyfirst Workshop on Logic, Language, Information and
Computation (WoLLIC'2014) Valparaiso, Chile
September 14, 2014
This is the twentyfirst 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 Cochairs of the Organizing Committee
are P. Barceló and R. de Queiroz.
For further information, visit the webpage below.
http://wollic.org/wollic2014/
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]