2016-17 ASL Winter Meeting (with Joint Mathematics
Meetings) Atlanta, Georgia
January 6--7, 2017
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 4-7, 2016. The invited speakers include: C. Conley, A. Dolich, M. Foreman, R. Moosa, A. Shlapentokh, H. Towsner, and L. Brown Westrick. The members of the Program Committee are J. Franklin, I. Goldbring, and C. Rosendal (Chair). The complete program for this meeting is included in the November 2016 Newsletter mailing to ASL members (as a pdf attachment for those receiving the Newsletter via email).
Seventh Indian Conference on Logic and its Applications (ICLA) Kanpur, India
January 5--7, 2017
This event will be held at the Institute of Technology in Kanpur, and will be co-located with the Ninth Methods for Modalities Conference to be held January 8-10, 2017 (see https://www.cse.iitk.ac.in/users/icla/M4M/). The invited speakers include: N. Asher, N. Dobrinen, L. Ong, and R. Zach. The Program Committee Co-Chairs are S. Ghosh and S. Prasad. For further information, visit the webpage below.
Computability and Complexity Symposium 2017 Raumati, New Zealand
January 5--8, 2017
This meeting is in honor of the sixtieth birthday of Rod Downey. The organizers are: P. Cholak, A. Day, M. Fellows, N. Greenberg, B. Khoussainov, and A. Melnikov. For further information, visit the webpage below.
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 applications to combinatorics (February 5--9, 2018), Model theory of valued fields and applications (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 website below.
Model Theory Conference Stellenbosch, South Africa
January 9--13, 2017
The invited speakers include: A. Chernikov, F. Jahnke, G. Jones, and A. Macintyre. The organizers are G. Boxall and C. Kestner. For further information, visit the webpage below.
New Zealand Mathematical Research Institute Summer School 2017 Napier, New Zealand
January 9--14, 2017
The program for this event includes five tutorial series aimed at graduate students. The tutorials will be offered by: D. Hirschfeldt, J. Lutz, M. Malliaris, A. Montalban, and W.H. Woodin. The organizers are A. Day and N. Greenberg. For further information, visit the webpage below.
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.
Very Informal Gathering of Logicians at UCLA (VIG 2017) Los Angeles, California
February 3--5, 2017
The invited speakers are I. Ben-Yaacov (Hjorth lecture), P. Hieronymi, E. Landry, J. Miller, K. Peterzil, D. Sinapova, S. Thomas, T. Tsankov, and R. Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply, contact the organizers by December 1st. For further information visit the website below.
2017 ASL North American Annual Meeting Boise, Idaho
March 20--23 2017
The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Local information and a registration form, are enclosed in this Newsletter mailing (as pdf attachments for those receiving the Newsletter via email). Electronic registration is available at http://www.aslonline.org/meeting\registrationsecure.html. For further information, visit the website below
Abstracts for 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 December 2, 2016, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: firstname.lastname@example.org.
2016-17 ASL Spring Meeting (with APA) Seattle, Washington
April 12--15, 2017
This meeting will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association. There will be three invited sessions (with speakers in parentheses): Inclusiveness in logic education (organized by A. Yap on behalf of the ASL Committee on Logic Education, with details to come); Intuitionistic mathematics and logic (R. Iemhoff, J. Rand Moschvakis, and M. van Atten); and, Modality and modal logic (P. Fritz, T. Lando, and F. Liu). The members of the Program Committee are W. Holliday, A. Yap, and R. Zach (Chair). Information about registration and hotel reservations can be found at http://www.apaonline.org/event/2017pacific.
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.
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.
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. 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 (beginning in December), visit the website below.
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 February 24, 2017, and the instructions will be available in December.
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.
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.
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 and B. Glimm. The General Chairs are M. Bienvenu and M.-L. Mugnier. For further information visit the website below.
2017 ASL European Summer Meeting (Logic Colloquium '17) Stockholm, Sweden
August 14--20, 2017
The Program Committee members are: R. Downey, M. Dzamonja (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, P. Pagin, E. Palmgren (Co-Chair), and D. Westerstahl. For further information, visit the webpage below. 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 should be submitted as pdf files at https://easychair.org/conferences/?conf=lc2017; for submission instructions see https://www.lc17.conf.kth.se/submissions.html. The deadline for submissions is May 5, 2017. If electronic submission is not possible, abstracts should be mailed to: Prof. Mirna Dzamonja, PC chair: Logic Colloquium 2017, School of Mathematics, University of East Anglia, Norwich, NR 4 7TJ, UK.
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.
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, C. Eagle, I. Farah, S. Hardy, M. Lupini, 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 email@example.com. 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]