
Special Semester on Computational Complexity and Proof Complexity St. Petersburg, Russia
AprilJune 2016
This program will be hosted by the Chebyshev Laboratory at St. Petersburg State University, organized jointly with the Skolkovo Institute of Science and Technology. It will include visiting researchers, visiting Ph.D. students, and two or three workshops. Visiting researchers and students will be able to attend any time during the three month period. A workshop on Proof Complexity will be held on May 1720, 2016, organized by S. Buss and P. Pudlák; the keynote speaker is J. Krajicek. A workshop on LowDepth Complexity will be held May 2325, 2016, organized by B. Rossman and R. Santhanam; the keynote speaker is R. Williams. There are funding opportunities for graduate students for either short visits or extended stays throughout the semester. There also are funding opportunities for visiting researchers and postdoctoral researchers. The Special Semester is organized jointly by S. Buss (sbuss@ucsd.edu) and E.A. Hirsch (hirsch@pdmi.ras.ru). To inquire about participation or apply for funding, please complete the form on the webpage below or contact the organizers directly.
http://en.chebyshev.spb.ru/complexity2016
PhDs in Logic VIII Darmstadt, Germany
May 9–11, 2016
This is an annual graduate conference organized by local graduate students. The following tutorials will be offered: M. Dzamonja, Independence results at the successors of singular cardinals; N. Gierasimczuk, Topological modelling of knowledge change; U. Kohlenbach, Proof mining: proof interpretations and their use in mathematics; P. Kowalski, Model theory of fields with operators; and, M. Otto, Bisimulation & games: modeltheoretic aspects.
The program also includes short presentations by Ph.D students on their research.
For further information, visit
the website below.
http://www.mathematik.tudarmstadt.de/fbereiche/logik/phdsinlogic2016/
Antalya Algebra Days XVIII Sirince, Turkey
May 1822, 2016
The invited speakers include: N. Anbar, J. Baldwin, A. BallesterBolinches, E. Bouscaren,
H. Boylan, E. Coskun, A. Günaydin, N. Hempel, T. Kaiser,
Y. Peterzil (to be confirmed),
S. Rideau, T. Rzepecki, R. Sklinos (to be confirmed),
M. Sahin, A. Wilkie, and C. Wood. The members of the Scientific Committee are: G. Ercan,
P. Kowalski, A. MartinPizarro, D. Pierce, F. Point, A. Sinan Sertöz, S. Starchenko, and
A. Topuzoglu. The Organizing Committee members are P. Kowalski and P. Ugurlu. For further information, visit the webpage below.
https://matematikkoyu.org/eng/events/2016_aad/index.php
2016 ASL North American Annual Meeting Storrs, Connecticut
May 2326, 2016
The invited speakers include: Z. Chatzidakis, M. Kaufmann, K. Lange, I. Neeman, M. Rathjen, and S. Shapiro. Alasdair Urquhart will give an ASL retiring presidential address. Tutorials will be offered by D. Hirschfeldt and M. Malliaris. Special sessions (with organizers in parentheses) include: Computability theory (B. Csima and M. Soskova), Model theory (C. Hill and R. Nagloo), History and philosophy of logic (dedicated to the memory of Aldo Antonelli) (G. Russell and R. Zach), and Set theory (C. Conley and G. Sargsyan).
The members of the Program Committee include: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J. Moore, and
C. Wood. The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair). Electronic registration is available at http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in this Newsletter mailing (as a .pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
http://asl2016.logic.uconn.edu/
Thematic Program on Model Theory Notre Dame, Indiana
June 624, 2016
This program consists of three components: an Undergraduate Summer School (June 610th), Graduate and Postdoc MiniCourses (June 1317th), and an International Conference on Model Theory (June 2024th; see Sponsored Meetings, above). The Undergraduate Summer School will include two courses (with lecturers in parentheses): Introduction to Model Theory I (A. Tserunyan) and Introduction to Model Theory II (G. Conant). The Graduate and Postdoc MiniCourses are (with lecturers in parentheses):
Continuous Model Theory
(B. Hart); Descriptive Set Theory and Model Theory
(C. Rosendal); Stability, Combinatorics, and NIP (P. Simon); and Topological Dynamics and Model Theory
(K. Krupi& acute;nski). The confirmed speakers for the International Conference on Model Theory include: I. BenYaacov, A. Berarducci, A. Berenstein, A. Chernikov, A. Conversano, L. van den Dries, I. Farah, I. Kaplan, A. Kolesnikov, C. Laskowski, A. Macintyre, M. Malliaris, R. Moosa, L. Newelski, Y. Peterzil, J. Solymosi, C. Steinhorn, K. Tent, F. Wagner, and B. Zilber. This program is supported by the Center for Mathematics at Notre Dame and the U.S. National Science Foundation. The organizers are I. Goldbring, A. Pillay, and S. Starchenko. For further information, visit the webpage below.
https://www3.nd.edu/~cmnd/programs/cmnd2016/
Journées sur les Arithmétiques Faibles (Weak Arithmetics Days) Lisbon, Portugal
June 67, 2016
This is the thirtyfifth edition of this series. The invited speakers are: D. FernándezDuque, A. Enayat,
E. Jerabek, I. Oitavem, N. Thapen, and T. Lok Wong. The Program Committee members include: P. Cegielski, A. CordónFranco, F. Ferreira (Chair), G. Ferreira, L. Kolodziejczyk, and R. Kossak. The Local Organizing
Committee members are F. Ferreira and G. Ferreira. The deadline for submission of contributed talks is April 8, 2016. For further information, visit
the webpage below.
http://jaf35.campus.ciencias.ulisboa.pt/
Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016) Faro, Portugal
June 1517, 2016
The conference is concerned with the theory of computability and complexity over realvalued data. The invited speakers are: A. Bauer, T. Cubitt, G. Ferreira, V. Gregoriades, K. Miyabe, and N. Müller. The members of the Scientific Program Committee include: M. de Brecht, F. Ferreira, S. Gao, M. Hoyrup, A. Kawamura (Chair),
B. Lubarsky, E. Mayordomo, R. Rettinger, and N. Zhong. The Organizing Committee members are D. Graca and R. Marreiros. For further information, visit the webpage below.
http://ccanet.de/cca2016/
International Conference on Model Theory Notre Dame, Indiana
June 2024, 2016
This event is a component of the Thematic Program on Model Theory, taking place June 624, 2016.
The invited speakers are: I. BenYaacov, A. Berarducci, A. Berenstein, A. Chernikov, A. Conversano, L. van den Dries, I. Farah, I. Kaplan, A. Kolesnikov, C. Laskowski, A. Macintyre, M. Malliaris, R. Moosa, L. Newelski, Y. Peterzil, C. Steinhorn, K. Tent, F. Wagner, and B. Zilber. The organizers are I. Goldbring, A. Pillay, and S. Starchenko. For more information, visit the webpage below.
https://www3.nd.edu/~cmnd/programs/cmnd2016/conference/index.html
Novi Sad Conference in Set Theory and General Topology (SetTop 2016) Fruska gora, Serbia
June 2023, 2016
A tutorial, Lectures on Partition Calculus, will be offered by S. Todorcevic;. The invited speakers include: A. Aviles, A. Dow, A. Kwiatkowska, L. Soukup, A. Törnquist, M. Viale, and L. Zdomskyy. The members of the
Program Committee are: J. Bagaria, M. Dzamonja, S.D. Friedman, I. Juhász, and M. Kurilić.
The Local Organizing Committee includes: B. Basić, M. Grulović, B. Kuzeljević, N. Moraca,
A. Pavlović (CoChair), and B. Sobot (CoChair) For more information, visit
the webpage below.
http://www.dmi.uns.ac.rs/settop/2016/default.htm
Thirtyfifth ACM SIGMODSIGACTSIGAI Symposium on Principles of Database Systems (PODS 2016) San Francisco, California
June 26July 1, 2016
The PODS symposium series, held in conjunction with the SIGMOD conference series, provides an annual forum for the communication of new advances in the theoretical foundations of data management. The keynote speaker is M. Vardi. Tutorials will be offered by S. Cohen and F. Neven.
The SIGMOD General Chairs are G. Koutrika and F. Ozcan, and the PODS General Chair is T. Milo. The SIGMOD Program Chair
is S. Madden and the PODS Program Chair is W.C. Tan.
For further information, visit the webpage below.
http://www.sigmod2016.org
Computability in Europe 2016 (CiE 2016): Pursuit of the Universal Paris, France
June 27July 1, 2016
This is the twelfth in a series organized by Computability in Europe (CiE). The conference will open with a special session in honor of the memory of the former CiE president, Barry Cooper (M. Soskova, organizer). Tutorials
will be offered by M. Bojanczyk and B. Chazelle. A public lecture will be offered by M. Dumitru.
The invited speakers include: N. Alechina, V. Brattka, D. Kahrobaei, S. Lempp, A. Nies, D. Perrin, and R. Solomon.
Special sessions on the following topics also are planned (with organizers in parentheses): Computable and constructive analysis (D. Gra\c ca and E. Mayordomo); Computation in biochemical systems (A. Carbone and I. Petre); Cryptography and information theory (D. Gligoroski and C. Padro); History and philosophy of computing (A. Naibo and K. Tatarchenko); Symbolic
dynamics (J. Kari and R. Yassawi); and Weak arithmetics (L. Beklemishev and A. Speranski). The Program Committee Cochairs are L. Bienvenu and N. Jonoska, and the Chair of the Steering Committee is A. Beckmann. For more information, visit
the webpage below.
https://lipn.univparis13.fr/CIE2016/committees.php
Logic, Algebra and Truth Degrees (LATD) 2016 Phalaborwa, South Africa
June 28–30, 2016
This conference series started as an official meeting of the working group
on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic
logic and related areas. The featured topics for this meeting are the following:
algebraic semantics and abstract algebraic logic, applications and foundational
issues, first, higherorder and modal formalisms, geometric and game theoretic
aspects, and proof theory and computational complexity. The invited speakers
include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.
The Chair of the Program Committee is J. Raftery, the Honorary Chair of the
Steering Committee is P. Hájek, and the Chair of the Local Organizing Committee
is C. van Alten. For further information, visit the webpage below.
http://www.latd2016.co.za/index.html
Thirtyfirst Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) New York, New York
July 58, 2016
The LICS Symposium is an annual
forum on theoretical and practical topics in computer science that relate to logic. This event marks the thirtieth anniversary of LICS. The Program Committee Chair is N. Shankar, the Conference Chair is E. Koskinen, %the Workshop Chair is P. BouyerDecitre,
and the General Chair is L. Ong. The deadline for submission of titles and short abstracts is January 11, 2016; for full papers it is January 18, 2016. The Kleene Award for the best student paper, as judged by the Program Committee, will be presented at the symposium. For more information, see
the webpage below.
http://lics.rwthaachen.de/lics16/
North American Summer School in Logic, Language, and Information (NASSLLI 2016) New Brunswick, New Jersey
July 916, 2016
This event, loosely modeled on the longrunning ESSLLI series
in Europe (see http://www.esslli2014.de/), is a summer school that meets approximately every other summer. It is geared towards graduate students and advanced undergraduate students in fields such as Cognitive Science, Computer Science, Linguistics, and Philosophy. The featured course instructors (with the title of their courses in parentheses) are:
J. van Benthem ( Logic, agency, and games), M. Bittner ( Dynamic semantics), R. Muskens ( Multimodal logic),
U. Sattler ( An introduction to description logics techniques, properties, and applications), and B. Skyrms
( Evolution and learning dynamics in signaling games).
The Program Committee Chairs are T. Icard and C. Potts and the Chair of the Organizing Committee is E. Lepore. The Steering Committee includes: D. Beaver, P. Kolaitis, L. Moss, V. de Paiva, S. Shieber, and M. Vardi. For more information, visit the webpage below.
http://nasslli2016.rutgers.edu
"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, S. Centrone, J. Ladyman, M. Leng,
A. Pitts, 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, Y. Peterzil, 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). The deadline for applying for financial support is April 30, 2016. 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, 2015
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. Velicković). 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 webpage below.
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 can be submitted at
http://www.lc2016.leeds.ac.uk/submission.html; the deadline for submission is April 29, 2016.
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 29September 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é. The deadline for submission of abstracts for full papers is March 10, 2016.
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, and 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
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
2017 ASL North American Annual Meeting Boise, Idaho
March 2023 2017
The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley,
R. Holmes, A. Jackson, and M. Scheepers (Chair).
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]