Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

May 15--19, 2017
16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017)
June 12--16, 2017
Computability in Europe 2017 (CiE 2017): Unveiling Dynamics and Complexity
June 20--23, 2017
Thirty-second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
June 26--30, 2017
Seventeenth Latin American Symposium on Mathematical Logic (SLALM 2017)
June 26--30, 2017
Topology, Algebra, and Categories in Logic (TACL2017)
July 2--8, 2017
Model Theory
July 3--7, 2017
Sixth European Set Theory Conference
July 10--14, 2017
Asian Logic Conference (ALC 2017)
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
Thirtieth International Workshop on Description Logics (DL 2017)
July 18-21, 2017
Twenty-fourth Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
July 18--21, 2017
Eleventh International Whitehead Conference 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 14--20, 2017
2017 ASL European Summer Meeting (Logic Colloquium '17)
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 10--15, 2017
Mathematics Education for the Next Decade: Heuristics and Challenges of Pólya and Lakatos
September 20--24, 2017
Model Theory of Operator Algebras: Workshop and Conference
September 25--29, 2017
TABLEAUX 2017/FroCoS 2017/ITP 2017
January 3--6, 2018
2017-18 ASL Winter Meeting (with APA)
January 8--April 6, 2018
Model Theory, Combinatorics and Valued fields: Trimester at the Institut Henri Poincaré
January 12--13, 2018
2017-18 ASL Winter Meeting (with Joint Mathematics Meetings)
May 16--19, 2018
2018 ASL North American Annual Meeting

16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017) Lyon, France
May 15--19, 2017
For more than two decades, this conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. The invited speakers include: A. McIver, J.-É. Pin, and A. Silva. The Conference Chair is D. Pous and the Program Committee Co-Chairs are P. Höfner and G. Struth. For further information visit the website beow.
http://ramics-conference.org

<top>

Computability in Europe 2017 (CiE 2017): Unveiling Dynamics and Complexity Turku, Finland
June 12--16, 2017
This is the thirteenth in a series organized by Computability in Europe (CiE). Tutorials will be offered by D. Gusfield and D. Hirschfeldt. The invited speakers include: S. Aaronson, K. Lange, L. Patey, N. Schweikardt, A. Shen, and M. Vardi. Special sessions on the following topics also are planned (with organizers in parentheses): Algorithmics for biology (P. Bonizzoni and V. Mäkinen); Combinatorics and algorithmics on words (T. Harju and D. Nowotka); Computability in analysis, algebra, and geometry (J. Knight and A. Morozov); Cryptography and information theory (D. Kahrobael and H. Lipmaa); Formal languages and automata theory (J. Kahumäki and A. Okhotin); and History and philosophy of computing (L. De Mol and G. Primiero). The program also includes a Women in Computability Workshop. The Program Committee Co-chairs are J. Kari and I. Petre, and the Chair of the Steering Committee is A. Beckmann. For more information, visit the webpage below.
http://math.utu.fi/cie2017/

<top>

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. Among the LICS workshops is the first Women in Logic Workshop (WiL 2017), a LICS-affiliated event, will be held on June 19th; see https://sites.google.com/site/firstwomeninlogicworkshop/. 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 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.
http://lics.rwth-aachen.de/lics17/index.html

<top>

Seventeenth Latin American Symposium on Mathematical Logic (SLALM 2017) Puebla, Mexico
June 26--30, 2017
The Simposio Latinoamericano de Lógica Matemática became an official ASL meeting by ASL Council action in May 2016. The invited plenary speakers include: C. Areces, A. Berenstein, D. Dzhafarov, J. Lopez-Abad, G. Metcalfe, and F. Zalamea Traba. The following tutorials will be offered (with speakers in parentheses): Logic/AI (M. Finger), Model theory (P. Simon), Non-Classical Logics/Philosophical Logic (M. Coniglio), and Set theory (C. Brech). Special sessions include: Computability, Logic and computer science, Model theory, Philosophy of logic/Philosophical logic/Non-classical logics, Proof theory, and Set theory. The members of the Program Committee are: V. Becher, X. Caicedo, W. Carnielli (Chair), N. Dobrinen, C. Di Prisco, Antonio Montalbán, R. Morado, M. Osorio, S. Todorcevic, and B. Zilber. The Local Organizing Committee includes: D. Meza Alcantara, R. Rojas Barbachano, R. Monroy Borja, C. Zepeda Cortés, U.A. Ramos García, L. Estrada González, M. Alvarado Mentado, A. Ramírez Paramo, F.E. Miranda Perea, J.R.E. Arrazola Ramírez (Chair), M. Martínez Ruiz, and M. Fernández de Castro Tapia. For further information, visit the webpage below.


http://www.fcfm.buap.mx/SLALM2017

<top>

Topology, Algebra, and Categories in Logic (TACL2017) Prague, Czech Republic
June 26--30, 2017
This conference, the eighth in the TACL series, focuses on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. The invited speakers include: A. Baltag, M. Escardó, M. Gehrke, B. Jacobs, K. Keimel, G. Restall, A. Silva, and L. Spada. The conference will be preceded by a school on June 20--24th in Olomouc. The lecturers for the school are: M. Goldstern, T. Moraschin, J. Velebil, and S. Vickers. The Co-chairs of the Program Committee are J. Harding and R. Iemhoff. For further information, visit the webpage below.
http://www.cs.cas.cz/tacl2017/

<top>

Model Theory Bedlewo, Poland
July 2--8, 2017
The invited speakers include: I. Ben-Yaacov, A. Berarducci, Ö. Beyarslan, G. Boxall, A. Chernikov, J. Derakhshan, P. Hieronymi, D. Hoffmann, E. Hrushovski (to be confirmed), I. Kaplan, F.-V. Kuhlmann, J. Maríková, C. Milliet, S. Montenegro, L. Newelski, A. Onshuus, D. Palacín, S. Rideau, T. Scanlon, P. Simon, R. Sklinos, S. Starchenko, R. Tanović, K. Tent, T. Tsankov, L. van den Dries, and N. Yao. The members of the Scientific Committee are: E. Bouscaren, P. Kowalski, K. Krupiński, K. Peterzil, A. Pillay, and B. Zilber. The Organizing Committee includes: D. Hoffmann, P. Kowalski, K. Krupiński, T. Rzepecki, and R. Wencel. A satellite meeting will be held June 30--July 2nd in Wroclaw. For further information, visit the webpage below.
https://www.impan.pl/en/activities/banach-center/conferences/17-modeltheory

<top>

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.
https://sites.google.com/site/6thestc/

<top>

Asian Logic Conference (ALC 2017) Daejeon, Republic of Korea
July 10--14, 2017
The Asian Logic Conference became an official ASL meeting by ASL Council action in May 2016. The invited speakers include: J. Makowsky, S. Negri, Y. Peng, K. Tent, K. Yi, Y. Yin, L. Yu, and Y. Zhu. Special sessions on the following topics will be held: Computability, Model theory, Philosophical logic, and Set theory. The members of the Program Committee are J. Brendle, R. Downey, Q. Feng, B. Kim (Chair), F. Liu, R. Ramanujam, A. Tsuboi, and Y. Yang. The members of the Local Organizing Committee are: I. Chung (Chair), J. Kim, G. Lee, and M. Ziegler. 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). The deadline for submissions is May 31, 2017. Submission instructions are available at the meeting website.

For further information, visit the webpage below.


https://alc15korea.wixsite.com/alckorea

<top>

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>

Thirtieth International Workshop on Description Logics (DL 2017) Montpellier, France
July 18--21, 2017
This event is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet. The invited speakers are: M. Krötzsch, A. Pieris, and U. Sattler. The Program Chairs are A. Artale, B. Glimm, and R. Kontchakov. The General Chairs are M. Bienvenu and M.-L. Mugnier. For further information visit the webpage below.
http://dl.kr.org/dl2017/

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

Eleventh International Whitehead Conference 2017 Ponta Delgada, S\ ao Miguel, Azores
July 18--21, 2017
Of particular interest to logicians is Section 8 of this event, Whitehead, Mathematics and Logic. The Chair of this section is V. Petrov. For further information, visit the webpage below.
http://whitehead2017.com/

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

2017 ASL European Summer Meeting (Logic Colloquium '17) Stockholm, Sweden
August 14--20, 2017
LC '17 will be co-located with with the Third Nordic Logic Summer School (see Calendar of Other Meetings and https://www.sls17.conf.kth.se) and the Twenty-sixth Annual Conference of the European Association for Computer Science Logic (CSL 2017; see the Calendar of Other Meetings and https://www.csl17.conf.kth.se). The invited speakers include: D. Aspero, A. Berarducci, E. Bouscaren, C. Brech, S. Fuchino, D. Hirschfeldt, W. Hodges, E. Jerabek, P. Martin-Löf, D. Prawitz, and S. Smets. Tutorials will be offered by P. Bouyer-Decitre and M. Gehrke. The invited speakers for the CSL 2017/LC '17 highlight session are V. Becher and P. Simon. The Program Committee members are: R. Downey, M. D\v zamonja (Chair), A. Enayat, F. Ferreira, V. Goranko, M. Hils, S. Negri, A. Rinot, and I. Walukiewicz. The Local Organizing Committee includes: M. Dam, V. Goranko (Co-Chair), S.-O. Hansson, V. Koponen, R. Loukanova, P. LeFanu Lumsdaine, A. Lundstedt, P. Pagin, E. Palmgren (Co-Chair), and D. Westerstahl. For further information, visit the webpage below.


https://www.lc17.conf.kth.se

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

Mathematics Education for the Next Decade: Heuristics and Challenges of Pólya and Lakatos Balatonfüred, Lake Balaton, Hungary
September 10--15, 2017
This event is the Fourteenth International Conference of The Mathematics Education for the Future Project. The Coordinator of the Program Committee is A. Rogerson. For further information visit the website below.
http://directorymathsed.net/montenegro/AAAAHungarytFirstAnnouncementDraft.pdf

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

2017-18 ASL Winter Meeting (with APA) Savannah, Georgia
January 3--6, 2018
This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The members of the Program Committee are R. Heck (Chair) and T. Lando. 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 must be received by the deadline of September 8, 2017, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.

<top>

Model Theory, Combinatorics and Valued fields: Trimester at the Institut Henri Poincaré Paris, France
January 8--April 6, 2018
The three themes of this 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 will have four meetings (with dates in parentheses): Model theory, combinatorics and valued fields (introductory preschool of the trimester, January 8--12, 2018, at CIRM, Luminy), Model theory and combinatorics (January 29--February 2, 2018), Model theory of valued fields (March 5--9, 2018), and Model theory and applications (March 26--30, 2018). 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.
http://modvac18.math.ens.fr/

<top>

2017-18 ASL Winter Meeting (with Joint Mathematics Meetings) San Diego, California
January 12--13, 2018
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 10-13, 2018. The Joint Mathematics Meetings program includes a joint AMS-ASL special session, Set Theory, Logic and Ramsey Theory, organized by A. Caicedo and J. Mijares. The members of the Program Committee are J. Reimann (Chair), P. Scowcroft, and A. Tserunyan. 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 below). Abstracts must be received by the deadline of September 11, 2017, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.

<top>

2018 ASL North American Annual Meeting Macomb, Illinois
May 16--19, 2018
The members of the Program Committee include: T. Carlson, B. Csima, T. Eisworth, M. Glanzberg, I. Kalantari, D. Marker (Chair), and M. Soskova. The members of the Local Organizing Committee are: J. Chisholm, R. Dimitrov, C. Ealy, D. Haugen, I. Kalantari (Chair), J. Maríková, M. Moniri, G. Pettit, B. Powell, C. Pynes, N. Vakil, G. Weitkamp, and L. Welch.

<top>

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