
"What are criteria for a suitable foundation of mathematics? Homotopy Type Theory, a new interesting alternative to set theory?” Bielefeld, Germany
July 1823, 2016
This interdisciplinary workshop, designed as a hybrid between summer school and research conference, is aimed at students and researchers from the fields of mathematics, philosophy and computer science. The confirmed invited speakers include: P. Aczel, B. Ahrens, T. Altenkirch, C. Ballarin, M. Bezem, U. Buchholtz, I. Dimitriou,
R. Krapf, J. Ladyman, B. Löwe, A. Pitts, A. Rodin, U. Schreiber, B. Spitters, T. Streicher, C. Ternullo, and V. Voevodsky.
The organizers are: B. Grabmayr, D. Kant, L. Kühne, D. Sarikaya, and M. Viehstädt.
For further information, visit the webpage below.
http://fomus.weebly.com
Summer School in Tame Geometry Konstanz, Germany
July 1823, 2016
The following tutorials will be offered: P. Hieronymi, Tame expansions of ominimal structures; T. Kaiser, Ominimal geometry;
M. Otero, Definable groups; D. Plaumann, Real algebraic geometry; and, Y. Peterzil and M. Thomas, PilaWilkie theorem and Diophantine applications. The invited speakers include: M. Aschenbrenner, D. Haskell,
N. Hempel, S. Kuhlmann, A. MartinPizarro, D. Palacin, A. Pillay, C. Scheiderer, and M. Tressl. The members of the Organizing Committee are: P. Eleftheriou (Chair), S. Kuhlmann, J. Pila, D. Plaumann, and M. Thomas. For further information, visit
the website below.
http://www.math.unikonstanz.de/~eleftheriou/summerschool/
HilbertBernays Summer School on Logic and Computation Göttingen, Germany
July 24–30, 2016
This summer school is intended for students of mathematics, philosophy and computer science.
The following minicourses will be offered (with the speakers in parentheses): Computational contents of proofs
(H. Schwichtenberg), From Hilbert to Gentzen and beyond (R. Kahle), Lambdacalculus (S. Ronchi della Rocca), and
Proof mining (U. Kohlenbach). For further information, write to summer@math.unigoettingen.de or visit the webpage below.
http://www.unigoettingen.de/en/530211.html
Workshop on Interactions between Model Theory and Arithmetic Dynamics Toronto, Canada
July 2529, 2016
Introductory lectures will be offered by T. Scanlon on Model theory and by
T. Tucker on Arithmetic dynamics.
The invited speakers include: R. Benedetto, M. Hils, P. Ingram, M. Kamensky, J. Rivera Letelier,
A. Medvedev, K. Nguyen, S. Rideau, I. Tomasic, M. Wibmer, J. Xie, and M. Zieve.
The organizers are: J. Bell, Z. Chatzidakis, and R. Moosa.
For further information, visit the webpage below.
http://www.fields.utoronto.ca/programs/scientific/1617/modeltheory/
2016 ASL European Summer Meeting (Logic Colloquium '16) Leeds, England
July 31August 6, 2016
The twentyseventh annual Gödel Lecture will be delivered by S. Todorcevic.
The invited speakers include: B. van den Berg, L. Bienvenu, R. Garner, R. Goldblatt,
I. Kaplan, T. Pitassi, F. Schlutzenberg, D. Sinapova, H. Towsner, T. Williamson, and
B. Zilber. Tutorials (with the topic in parenthesis) will be offered by U. Andrews (Computable model theory) and T. Coquand (Univalent foundations). The following special sessions will be offered (with organizers in parentheses): Computability theory (I. Kalimullin and S. Terwijn); Formal theories of truth (O. Hjortland and D. Ripley); Homogeneous structures: model theory meets universal algebra (G. Cherlin and M. Pinsker); Model theory and limit structures (C. Hill and R. Patel); Proof theory and reverse mathematics (A. Montalban and A. Weiermann); and, Set theory (I. Neeman and
B. Veliković). The Program Committee members are: M. Bodirsky, S. Buss, N. Gambino, R. Iemhoff (Chair), H. Leitgeb, S. Lempp, M. Malliaris, R. Schindler, and Y. Venema. The Local Organizing Committee includes: O. Beyersdorff, S.B. Cooper, N. Gambino (Chair), I. Halupczok, H.D. Macpherson, V. Mantova, M. Rathjen, J.K. Truss, and S.S. Wainer. For further information, visit the website below.
http://www.lc2016.leeds.ac.uk
Twentyeighth European Summer School in Logic, Language and
Information (ESSLLI2016) Bolzano, Italy
August 1526, 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. ESSLLI2016 is organized under the
auspices of the European Association for Logic, Language and Information
(FoLLI). For more information about ESSLLI2016, visit
the webpage below; for further information about
FoLLI, visit http://www.folli.info.
http://esslli2016.unibz.it
Twentythird Workshop on Logic, Language, Information and
Computation (WoLLIC 2016) Puebla, Mexico
August 16–19, 2016
This is the twentythird 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 Cochairs 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.
http://www.wollic.cs.buap.mx
Eleventh International Conference on Advances in Modal Logic (AiML2016) Budapest, Hungary
August 30September 2, 2016
The invited speakers include: G. Bezhanishvili, K. Fine, S. Smets, and Y. Venema.
The Program Committee CoChairs are L. Beklemishev and S. Demri, and the Chair of the Local Organizing Committee is A. Máté.
For further information, visit the webpage below.
http://phil.elte.hu/aiml2016/
Syntax Meets Semantics 2016 (SYSMICS2016) Barcelona, Catalonia, Spain
September 59, 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 20162019 (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.
http://sysmics16.iiia.csic.es/
Workshop on Settheoretical Aspects of the Model Theory of Strong Logics Bellaterra, Catalonia, Spain
September 2630, 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 5December 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.
http://www.crm.cat/en/Activities/Curs_20162017/Pages/W1_LargeCardinals.aspx
BNPair 2016 Istanbul, Turkey
October 1922, 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. RoneyDougal, 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.
https://sites.google.com/site/bnpair2016/home
Applications of Strong Logics in Other Areas of Mathematics Bellaterra, Catalonia, Spain
November 1418, 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 5December 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.
http://www.crm.cat/en/Activities/Curs_20162017/Pages/IRPLargeCardinalsandStrongLogics.aspx
201617 ASL Winter Meeting (with Joint Mathematics
Meetings) Atlanta, Georgia
January 67, 2017
This meeting will take place in conjunction with the Joint
Mathematics Meetings taking place January 47, 2016. The members of the Program
Committee are J. Franklin, I. Goldbring, and C. Rosendal (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 above). Abstracts must be received by the deadline of
September 12, 2016, at the ASL Business Office: ASL, Box 742, Vassar
College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax:
18454377830; email: asl@vassar.edu.
2017 ASL North American Annual Meeting Boise, Idaho
March 2023 2017
The members of the Program Committee are:
L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair).
The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley,
R. Holmes, A. Jackson, and M. Scheepers (Chair).
201617 ASL Spring Meeting (with APA) Seattle, Washington
April 1215, 2017
This meeting will be held jointly with the Annual Meeting of the
Pacific Division of the American Philosophical Association. The members of the Program Committee are W. Holliday, A. Yap, and R. Zach (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 above). Abstracts must be received by the deadline of
September 12, 2016, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 18454377830; email: asl@vassar.edu.
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]