Twenty-eighth European Summer School in Logic, Language and
Information (ESSLLI-2016) Bolzano, Italy
August 15--26, 2016
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 C. Gardent. ESSLLI-2016 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2016, visit the webpage below; for further information about FoLLI, visit http://www.folli.info.
Twenty-third Workshop on Logic, Language, Information and
Computation (WoLLIC 2016) Puebla, Mexico
August 16–19, 2016
This is the twenty-third in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The invited speakers are: P. Barceló, D. Bartosová (to be confirmed), J.A. Makowsky, A. Palmigiano, S. Smets, K. Tent (to be confirmed), and A. Villaveces. The Chair of the Program Committee is J. Väänämen. The Co-chairs of the (Local) Organizing Committee are C. Zepeda Cortés, A.G. de Oliveira, M. Osorio, and R. de Queiroz. For more information, visit the webpage below.
Syntax Meets Semantics 2016 (SYSMICS2016) Barcelona, Catalonia, Spain
September 5--9, 2016
This conference will focus on interactions between syntactic and semantic methods in substructural logics. It is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019 (see http://logica.dmi.unisa.it/sysmics/). The invited speakers include: M. Busaniche, R. Cignoli, J.M. Font, D. Mundici, A. Palmigiano, J. Raftery, K. Terui, C. Tsinakis, and Y. Venema. The deadline for submission of papers is April, 30, 2016. The Program Committee Chair is L. Spada, and the Chair of the Organizing Committee is L. Godo. For more information, visit the webpage below.
Workshop on Set-theoretical Aspects of the Model Theory of Strong Logics Bellaterra, Catalonia, Spain
September 26--30, 2016
The workshop is one of two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica, September 5--December 16, 2016. The workshop is intended to provide an opportunity to learn about the recent exciting results on the connections between the theory of large cardinals and the model theory of strong logics and to serve as a springboard for future research. The Scientific Committee includes: J. Bagaria, M. Magidor, and J. Väänänen. For further information, visit the webpage below.
BN-Pair 2016 Istanbul, Turkey
October 19--22, 2016
This conference is being held in honor of the 60th birthdays of Alexandre Borovik and Ali Nesin. The invited speakers include: L. Bélair, Z. Chatzidakis, G. Cherlin, A. Deloro, O. Frécon, E. Hrushovski, M. Kassabov, E. Khukhro, A. Macintyre, F. Point, B. Poizat, C. Roney-Dougal, K. Tent, S. Thomas, A. Vdovina, F. Wagner, J. Wiscons, and B. Zilber. The members of the organizing Committee are: T. Altinel, A. Berkman, Ö. Beyarslan, M. Haluk Sengun, P. Ugurlu, and S. Yalcinkaya. For further information, visit the webpage below.
Applications of Strong Logics in Other Areas of Mathematics Bellaterra, Catalonia, Spain
November 14--18, 2016
This is the second of the two main events of the research program on Large Cardinals and Strong Logics that will take place at the Centre de Recerca Matemàtica, September 5--December 16, 2016 (see above for the first workshop). The Scientific Committee includes: J. Bagaria, M. Magidor, and J. Väänänen. For further information, visit the webpage below.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]