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: model-theoretic aspects. The program also includes short presentations by Ph.D students on their research. For further information, visit the website below.
Antalya Algebra Days XVIII Sirince, Turkey
May 18--22, 2016
The invited speakers include: N. Anbar, J. Baldwin, A. Ballester-Bolinches, 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. Martin-Pizarro, 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.
Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016) Faro, Portugal
June 15--17, 2016
The conference is concerned with the theory of computability and complexity over real-valued 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.
International Conference on Model Theory Notre Dame, Indiana
June 20--24, 2016
This event is a component of the Thematic Program on Model Theory, taking place June 6--24, 2016. The invited speakers are: I. Ben-Yaacov, 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.
Computability in Europe 2016 (CiE 2016): Pursuit of the Universal Paris, France
June 27--July 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 bio-chemical 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 Co-chairs are L. Bienvenu and N. Jonoska, and the Chair of the Steering Committee is A. Beckmann. For more information, visit the webpage below.
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, higher-order 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.
Thirty-first Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) New York, New York
July 5--8, 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. Bouyer-Decitre, 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.
"What are criteria for a suitable foundation of mathematics?-- Homotopy Type Theory, a new interesting alternative to set theory?” Bielefeld, Germany
July 18--23, 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.
Summer School in Tame Geometry Konstanz, Germany
July 18--23, 2016
The following tutorials will be offered: P. Hieronymi, Tame expansions of o-minimal structures; T. Kaiser, O-minimal geometry; M. Otero, Definable groups; D. Plaumann, Real algebraic geometry; and, Y. Peterzil and M. Thomas, Pila-Wilkie theorem and Diophantine applications. The invited speakers include: M. Aschenbrenner, D. Haskell, N. Hempel, S. Kuhlmann, A. Martin-Pizarro, 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.
Hilbert-Bernays 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 mini-courses will be offered (with the speakers in parentheses): Computational contents of proofs (H. Schwichtenberg), From Hilbert to Gentzen and beyond (R. Kahle), Lambda-calculus (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 email@example.com or visit the webpage below.
Workshop on Interactions between Model Theory and Arithmetic Dynamics Toronto, Canada
July 25--29, 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.
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, 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.
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.
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]