Conferences during the Model Theory, Combinatorics and Valued
fields: Trimester at the Institut Henri Poincaré Paris, France
January 8--April 6, 2018
The three themes of trimester-long program are: Model theory and application to combinatorics, Model theory of valued fields and applications, and Applications of model theory in geometry, analysis and number theory. In addition to weekly seminars and courses, the trimester includes four meetings, two of which have taken place. The remaining two meetings (with dates in parentheses), all ASL sponsored, are: Model theory of valued fields (March 5--9, 2018, at IHP), and Model theory and applications (March 26--30, 2018, at IHP). The Scientific Committee includes: E. Bouscaren, E. Breuillard, E. Hrushovski, F. Loeser, A. Pillay, and T. Scanlon. The members of the Organizing Committee are: E. Bouscaren, Z. Chatzidakis, M. Hils, D. Macpherson, and F. Wagner. For further information visit the webpage below.
Ouroboros: Formal Criteria of Self-Reference in Mathematics and Philosophy Bonn, Germany
February 16-18, 2018
The meeting is designed as a hybrid between winter school and research conference and will consist of plenary talks as well as introductory workshops which are intended to give insight into related areas of current research. The invited speakers include: E. Brendel, A. Cantini, M. Godziszewski, V. Halbach, J.D. Hamkins, D. Kant, P. Koepke, L. Picollo, G. Priest, L. Rossi, T. Schindler, P. Schuster, A. Visser, and P. Welch. The members of the Organizing Committee are: B. Grabmayr, R. Krapf, A. Njegomir, D. Sarikaya and M. Sarikaya. For further information, visit
Computability Theory and Its Applications Waterloo, Canada
June 4--8, 2018
This workshop aims to bring together researchers from all areas of computability theory. A public lecture will be given by A. Montalbán. The confirmed invited speakers include: D. Dzhafarov, B. Kjos-Hanssen, J. Miller, K. M. Ng, J. Reimann, R. Shore, and L. Brown Westrick. The Organizers are: L. Bienvenu, P. Cholak, B. Csima, and M. Harrison-Trainor. For further information, visit the webpage below.
Tenth Scandinavian Logic Symposium (SLS2018) Gothenburg, Sweden
June 11--13, 2018
The scope of this event covers covers mathematical, computational, and philosophical logic. The members of the Program and Organizing Committee are: B. Afshari (Co-Chair), A. Enayat (Co-Chair), F. Engström, M. Kasa , and G. Leigh. For more information, visit the webpage below.
Thirty-third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018) Oxford, UK
July 9--12, 2018
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic. LICS 2018 will be organized as part of the the Seventh Federated Logic Conference (FLoC 2018; see ASL Other Meeting webpage). The invited speakers are: T. Coquand, J. Esparza, S. Goldwasser, U. Martin, and V. Tannen. The Program Committee Chair is M. Hofmann, the Workshop Chair is P. Bouyer, the Publicity and Proceedings Chair is S. Staton, and the General Chair is M. Grohe. The Kleene Award for the best student paper, sponsored by the European Association for Theoretical Computer Science, will be presented at the meeting. For more information, visit the webpage below.
Computability in Europe 2018 (CiE 2018)---Sailing Routes in the World of Computation Kiel, Germany
July 30--August 3, 2018
This is the fourteenth in a series organized by Computability in Europe (CiE). Tutorials will be offered by P. Heggernes and B. Khoussainov. The invited speakers include: K. Etessami, J. Franklin, M. Gehrke, A. Marcone, A. Silva, and J.O. Shallit. Special sessions on the following topics also are planned (with organizers in parentheses): Approximation and optimization (L. Epstein and K. Jansen); Bioinformatics and bio-inspired computing (A. Franke and V. Mitrana); Computing with imperfect information (T. McNicholl and M. Soskova); Continuous computation (U. Berger and D. Spreen); History and philosophy of computing (L. de Mol and G. Primiero); and SAT-solving (O. Beyersdorff and V. Ganesh). The Program Committee Co-Chairs are R. Miller and D. Nowotka. The Organizing Committee Co-Chairs are F. Manea and D. Nowotka. For further information, visit the webpage below.
Fifteenth International Conference on Computability and Complexity
in Analysis (CCA 2018) Lake Kochel, Germany
August 5--8, 2018
This conference is concerned with the theory of computability and complexity over real-valued data. It is held in honor of Klaus Weihrauch on his 75th birthday. The invited speakers are: P. Collins, D. Graca, R. Hölzl, N. Lutz, L. Patey, D. Pocas, M. Schröder, and F. Steinberg. The Scientific Program Committee includes: L. Bienvenu, H. Diener, D. Hirschfeldt, R. Hölzl, Z. Iljazović, T. Kihara, E. Mayordomo, N. Müller, N. Zhong, and M. Ziegler (Chair). The members of the Organizing Committee are: V. Brattka (Chair), P. Hertling, R. Hölzl, and P. Janicki. The deadline for submission of abstracts is April 2, 2018. For more information, visit the webpage below.
Thirtieth European Summer School in Logic, Language and
Information (ESSLLI-2018) Sofia, Bulgaria
August 6--17, 2018
This conference series 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 L. Kallmeyer, and the Local Co-Chair is G. Angelova. The Chair of the Organization Committee is P. Osenova and the Co-Chair is K. Simov. ESSLLI-2018 is organized under the auspices of the Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2018, visit the webpage below for more information about FoLLI, visit http://www.folli.info.
Conference on Mathematical Logic Niteroi, Brazil
August 10--11, 2018
This event is a satellite conference of the International Congress of Mathematicians (ICM 2018), co-organized by the Sociedade Brasileira de Lógica and DLMPST/IUHPST. The invited speakers include: M. Aschenbrenner, V. Becher, V. de Paiva, L. van den Dries, J. van der Hoeven, S. Jackson, U. Kohlenbach, M. Malliaris, and F. Miraglia. The Scientific and Organizing Committee members are: C. Brech, S. Gomes da Silva, E.H. Haeusler, D. Hirschfeldt, F. Kamareddine, B. Lopes, B. Löwe, and H. Nobrega. For further information, visit the webpage below.
Twelfth International Conference on Advances in Modal Logic (AiML 2018) Bern, Switzerland
August 27--31, 2018
This conference series is an initiative aimed at presenting the state of the art in modal logic and its various applications. The invited speakers include: A. Ciabattoni, R. Goldblatt, R. Iemhoff (joint AiML-LATD), S. Kikot, and D. Scott. The Co-Chairs of the Program Committee are G. Bezhanishvili and G. D'Agostino, and the Co-Chairs of the Organizing Committee are G. Metcalfe and T. Studer. The deadline for abstracts of full papers is March 11, 2018; for short presentations the deadline is May 20, 2018. AiML 2018 will be co-located with Logic, Algebra and Truth Degrees (LATD 2018, see below). For further information, visit the webpage below.
Logic, Algebra and Truth Degrees (LATD 2018) Bern, Switzerland
August 28--31, 2018
The invited speakers include M. Bílková, N. Galatos, R. Iemhoff (joint AiML-LATD), T. Moraschini, and D. Petrisan.The Chair of the Program Committee is G. Metcalfe, and the Co-Chairs of the Organizing Committee are G. Metcalfe and T. Studer. LATD 2018 will be co-located with AiML 2018 (see above). For further information, visit the webpage below.
Thirteenth International Conference on Computability, Complexity and
Randomness (CCR 2018) Santiago de Chile, Chile
December 17-21, 2018
The topics include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. This year's conference will be partially oriented to explore connections between these topics and the theory of dynamical systems. The invited speakers are: F. Cucker, S. Figueira, A. Gajardo (to be confirmed), M. Hoyrup, T. Kihara, B. Kra (to be confirmed), N. Lutz, A. Maass, K. M. Ng, and P. Shmerkin (to be confirmed). The members of the Program Committee are: V. Becher (Co-Chair), M. Braverman, P. Gács, N. Greenberg, A. Montalbán, H. Towsner, C. Rojas (Co-Chair), and L. Brown Westrick. The Local Organizing Committee members are: J. Aliste, V. Becher, and C. Rojas. The deadline for submission of abstracts is April 25, 2018. For further information, visit the webpage below.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]