Meetings

   ASL Meetings
> Sponsored Meetings

   Other Meetings

   Search

July 12--16, 2017
Eleventh Panhellenic Logic Symposium
July 17--28, 2017
Twenty-ninth European Summer School in Logic, Language and Information (ESSLLI-2017)
July 18-21, 2017
Twenty-fourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
July 23--29, 2017
Hilbert-Bernays Summer School on Logic and Computation
July 24-27, 2017
Fourteenth International Conference on Computability and Complexity in Analysis (CCA 2017)
August 20--September 1, 2017
Frontiers of Selection Principles
September 7--12, 2017
Workshop and Conference in Set Theoretic and Topological Methods in Model Theory
September 11-14, 2017
Sixth International Conference on Logic, Rationality and Interaction (LORI VI)
September 20--24, 2017
Model Theory of Operator Algebras: Workshop and Conference
September 25--29, 2017
TABLEAUX 2017/FroCoS 2017/ITP 2017

Eleventh Panhellenic Logic Symposium Delphi, Greece
July 12--16, 2017
This biennial scientific event, established in 1997, aims to promote 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 structure 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 webpage below.
http://pls11.cs.ntua.gr

<top>

Twenty-ninth European Summer School in Logic, Language and Information (ESSLLI-2017) Toulouse, France
July 17--28, 2017
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 S. Vasishth. ESSLLI-2017 is organized under the auspices of the Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2017, visit https://www.irit.fr/esslli2017/; for further information about FoLLI, visit http://www.folli.info.

<top>

Twenty-fourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017) London, UK
July 18-21, 2017
This is the twenty-fourth in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The invited speakers are: H. Brickhill, M. Detlefsen, A. Kurz, F. Moltmann, D. Pym, N. Schweikardt, F. Yang, and B. Zilber. The Chair of the Program Committee is J. Kennedy. The Co-chairs of the (Local) Organizing Committee are M. Sadrzadeh and A. Silva. The annual meeting of the Association for Mathematics of Language (SIGMOL), a Special Interest Group of the Association for Computational Linguistics, will be co-located with WoLLIC 2017 and will take place on July 13--14th (see http://www.molweb.org/mol2017/). For more information, visit the webpage below.
http://www.eecs.qmul.ac.uk/~mehrs/wollic/wollic2017.html

<top>

Hilbert-Bernays Summer School on Logic and Computation Göttingen, Germany
July 23--29, 2017
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): Geometric logic---topos theory (U. Stuhler), Proof theory and the art of ordinal analysis (M. Rathjen), Recursion and complexity (I. Oitavem), and Term rewriting systems (F. Baader). The deadline to register and apply for financial support is March 31, 2017. For further information, write to summer@math.uni-goettingen.de or visit the webpage below.
https://www.uni-goettingen.de/en/538662.html

<top>

Fourteenth International Conference on Computability and Complexity in Analysis (CCA 2017) Daejeon, Republic of Korea
July 24-27, 2017
The conference is concerned with the theory of computability and complexity over real-valued data. The invited speakers are: H.-K. Ahn, V. Becher, A. Hansen, T. Kihara, A. Pouly, and L. Brown Westrick. The members of the Scientific Program Committee include: J. Franklin, D. Graca (Chair), V. Gregoriades, P. Hertling, G. Lee, A. Melnikov, T. Nemoto, A. Pauly, C. Rojas, F. Stephan, and K. Weihrauch. The Organizing Committee members are S. Kim, S. Park, and M. Ziegler. The deadline for submission of abstracts is April 3, 2017. For further information, visit the webpage below.
http://cca-net.de/cca2017/

<top>

Frontiers of Selection Principles Warsaw, Poland
August 20--September 1, 2017
This event celebrates the sixtieth birthday of Marion Scheepers. Selection principles connect topology, set theory, and functional analysis and make it possible to transport and apply methods from each of these fields to the other ones. It is now one of the most active streams of research within set theory and general topology. This conference will be fully dedicated to selection principles and their applications. The conference begins with a one week tutorial followed by a week of invited lectures. The confirmed invited speakers include: L. Aurichi, L. Babinkostova, T. Banakh, L. Bukovsky, P. Das, G. Di Maio, R. Dias, R. Filipow, J. Kakol, A. Krawczyk, A. Kwela, A. Nowik, A. Osipov, S. Ozcag, S. Plewik, R. RaLowski, M. Sakai, M. Scheepers, D. Shakhmatov, P. Szewczak, F. Tall, S. Tokgöz, B. Tsaban, T. Weiss, L. Zdomskyy, S. Zhnag, O. Zindulka, and S. Zeberski. The members of the Organizing Committee are P. Szewczak, B. Tsaban, and L. Zdomskyy. For further information visit the webpage below.
http://selectionprinciples.com/contact.html

<top>

Workshop and Conference in Set Theoretic and Topological Methods in Model Theory Tezpur, Assam, India
September 7--12, 2017
The aim of this meeting, to take place on the campus of the Indian Statistical Institute, is to bring together specialists working on (or interested in) various topics on the border of model theory, topology and set theory.E. Hrushovski, T. Ibarlucia, B. Kim, A. Kwiatkowska, J. Melleray, L. Newelski, A. Pillay, N. Ramsey, T. Rzepecki, S. Solecki, C. Steinhorn, T. Tsankov, and F. Wagner. Tutorials will be offered by A. Chernikov and K. Krupinski. The members of the Program Committee are: A. Chernikov, K. Krupinski, H. Sarbadhikari, S.M. Srivastava (Chair), and S. Starchenko. For further information, visit the webpage below.
http://www.isical.ac.in/~statmath/smsconf/

<top>

Sixth International Conference on Logic, Rationality and Interaction (LORI VI) Sapporo, Japan
September 11-14, 2017
This conference series aims to bring together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The invited speakers include: N. Aleckhina, J.M. Dunn, N. Gierasimczuk, A. Hájek, S. Negri, and H. Ono. The Co-Chairs of the Program Committee are A. Baltag and J. Seligman. The Chair of the Organizing Committee is T. Yamada. For further information, visit the webpage below.
http://golori.org/lori2017/

<top>

Model Theory of Operator Algebras: Workshop and Conference Irvine, California
September 20--24, 2017
The model-theoretic study of operator algebras is one of the newest and most exciting areas of modern model theory and has already found applications to purely operator-algebraic problems. The goal of this meeting is to help further bridge the gap between the model-theoretic and operator-algebraic communities. The invited speakers are: H. Ando, B. Blackadar, C. Eagle, I. Farah, S. Hardy, S. Popa, D. Sherman, and D.V. Voiculescu. The following tutorials will be offered (with speakers in parentheses): C*-algebras (T. Sinclair), Continuous model theory (B. Hart), and Von Neumann algebras (A. Ioana). Please direct any questions to isaac@math.uci.edu. For further information visit the webpage below.
http://www.math.uci.edu/~isaac/career.html

<top>

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/.

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]