XVI Latin American Symposium on Mathematical Logic (SLALM 2014) Buenos Aires, Argentina
July 28--August 1, 2014
The invited plenary speakers are: V. Becher, L. Beklemishev, O. Chateubriand, P. Jipsen, S. Todorcevic. and B. Zilber. The confirmed tutorial courses (with topics in parentheses) are to be offered by: I. Goldbring(Model Theory), M. Magidor (Set Theory), A. Montalbán (Computability Theory), and L. Spada (Non Classical Logics). Special sessions on the following topics also are planned (with organizers in parentheses): Computability Theory (C. Areces and T. Slaman), Model Theory (A. Berenstein and C. Steinhorn), Non-Classical Logics (M. Busaniche and F. Montagna), and Set Theory (J. Bagaria and C. Uzcátegui). The members of the Program Committee are: J. Bagaria, X. Caicedo, W. Carnielli, R. Cignoli (Chair), R. de Queiroz, C. Di Prisco, J. Iovino, F. Montagna, T. Slaman, and C. Steinhorn. The Local Organizing Committee includes: C. Areces, M. Busaniche, S. Figueira, R. Grimson, J. Legris, R. Rodríguez, P. Sánchez Terraf, and H. San Martín. For further information, visit the website below.
Twenty-sixth European Summer School in Logic, Language and
Information (ESSLLI-2014) Tubingen, Germany
August 11--22, 2014
The European Summer School in Logic, Language and Information brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. Introductory and advanced courses, together with workshops, cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The Chair of the Program Committee is F. Veltman and the Local Co-chair is C. Ebert. The Chair of the Organizing Committee is G. Jäger. ESSLLI-2014 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2014, visit the website below; for further information about FoLLI, visit http://www.folli.info/.
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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]