Model Theory and Applications Mons, Belgium
January 16--19, 2017
The invited speakers include: L. Bélair, A. Bès, Z. Chatzidakis, R. Cluckers, P. D'Aquino, A. Forey, A.M.W. Glass, I. Halupczok, J. Kirby, A. Macintyre, D. Macpherson, N. Mariaule, M. Prest, M. Rigo, K. Tent, and F. Wagner. The members of the Scientific Committee are: R. Cluckers, F. Delon, I. Halupczok, and F. Point. The Organizing Committee includes: Q. Brouette, P.-E. Caprace, C. Michaux, M. Rigo, and M. Volkov. For further information, visit the webpage below.
Thirty-second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017) Reykjavik, Iceland
June 20--23, 2017
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 J. Ouaknine, the Conference Chairs are L. Aceto and A. Ingólfsdóttir, the Workshop Chair is P. Bouyer, the Publicity and Proceedings Chair is S. Staton, and the General Chair is M. Grohe. The deadline for submission of titles and short abstracts is January 3, 2017; for full papers it is January 9, 2017. The Kleene Award for the best student paper, sponsored by the European Association for Theoretical Computer Science (EATCS), %, as judged by the Program Committee, will be presented at the symposium. For further information, visit the website below.
Sixth European Set Theory Conference Budapest, Hungary
July 3--7, 2017
The invited speakers include: O. Ben-Neria, M. Doucha, A. Dow, V. Fischer, M. Golshani, Y. Hayut, M. Hrusak, P. Komjáth, M. Kurillic, P. Luecke, M. Malicki, M. Malliaris, D. Mejia, B. Miller, J. Moore, I. Neeman, D. Raghavan, S. Solecki, D. Soukup, S. Unger, and T. Usuba. A three lecture tutorial will be offered by A. Rinot. The Chair of the Program Committee is I. Juhász and the Chair of the Local Organizing Committee is L. Soukup. For further information, visit the website below.
Eleventh Panhellenic Logic Symposium Olympia, Greece
July 12--16, 2017
This biennial scientific event in logic was established in 1997 with the aim of promoting interaction and cross-fertilization among different areas of logic. The invited speakers include: Z. Chatzidakis, H. Leitgeb, Y. Moschovakis, A. Sorbi, W. Thomas, and T. Williamson. The following tutorials will be offered (with speakers in parentheses): Computable model theory (V. Harizanov), Model theory (A. Pillay), and O-minimality (Y. Peterzil). Special sessions (with organizers in parentheses) include Computability theory (A. Soskova) and Model theory (P. Eleftheriou and R. Sklinos). The Chair of the Program Committee is A. Soskova and the Chair of the Organizing Committee is A. Kakas. For further information, visit the website below.
TABLEAUX 2017/FroCoS 2017/ITP 2017 Brasilia, Brazil
September 25--29, 2017
This event brings together the Twenty-sixth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Eleventh International Symposium on Frontiers of Combining Systems, and Eighth Conference on Interactive Theorem Proving and Related Issues. The Co-Chairs of the TABLEAUX 2017 Program Committee are C. Nalon and R. Schmidt. The Co-Chairs of the FroCoS 2017 Program Committee are C. Dixon and M. Finger. The Co-Chairs of the ITP 2017 Program Committee are M. Ayala-Rincon and C. Munoz. The members of the combined Organizing Committee are J. Marcos, C. Nalon, D. Nantes Sobrinho, and E. Pimentel. For further information, visit either http://tableaux2017.cic.unb.br or http://frocos2017.cic.unb.br/ or http://itp2017.cic.unb.br/.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]