2018 ASL North American Annual Meeting Macomb, Illinois
May 16--19, 2018
The invited speakers include: JC Beall, A. Chernikov, B. Hart, J. Knight, J. Nagloo, D. Sinapova, S. Solecki, and A. Weiermann. Tutorials will be offered by A. Marks and T. Slaman. The special sessions planned (with organizers in parentheses) include: Computablity (L. Bienvenu and K. Lange), Logic and Philosophy (C. Franks), Model Theory (J. Freitag and J. Marikova, Proof Theory (H. Towsner), and Set Theory (D. Sinapova and A. Tserunyan). 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), D. LaFountain, J. Marikova S. Martinelli, M. Moniri, G. Pettit, B. Powell, C. Pynes, N. Vakil, G. Weitkamp, and L. Welch. The complete program for this meeting is included in the April Newsletter mailing to ASL members (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
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 invited speakers include: J. Hamkins, L. Ong, M. Rathjen, and K. Tent. The members of the Program and Organizing Committee are: B. Afshari (Co-Chair), R. Blanck, A. Enayat (Co-Chair), F. Engström, M. Kasa , and G. Leigh. For more information, visit the webpage below.
Sixth World Congress and School on Universal Logic (UNILOG 2018) Vichy, France
June 21--26, 2018
The invited keynote speakers are: L. Amgoud, M. Armgardt, J. Becker, I. Blechschmidt, S. Brier, P. Cartier, R. Coecke, D. Dubois, S. Dutta, M. Genesereth, S. Goncharov, C. Goodey, O. Hjortland, A. Kissinger, R. Krömer, A. Leitsch, E. Lisanyuk, D. Macbeth, D. Makinson, G. Malinowski, D. McGoveran, D. Miller, A. Moktefi, T. Noll, R. Parikh, A. Paseau, V. Peckhaus, S. Perdrix, F. Poggiolesi, B. Poizat, S. Pratt, G. Priest, M. del Rosario, D. Schlimm, R. Sorensen, G. Sundholm, S. Swietorzecka, L. van der Torre, J. Wolenski, W.E. Young, and A. Zamansky. A school for Ph.D. students and young researchers will precede the congress on June 16-20th. The Scientific Committee includes: A. Avron, J. van Benthem, R. Brady, C. Caleiro, W. Carnielli, N. da Costa, M. Dunn, M. Friend, D. Gabbay, H. He, G. Jaeger, A. Koslow, I. Nemeti, F. Paoli, V. Vasyukov, and H. Wansing. The Co-Chairs of the Organizing Committee are J.-Y. Béziau and C. Rey. For more information, visit the webpage below.
Seventh Federated Logic Conference (FLoC 2018) Oxford, UK
July 6--19, 2018
This event brings together several international conferences related to mathematical logic and computer science. These conferences will participate: the Thirtieth International Conference on Computer-Aided Verification (CAV), the Thirty-first IEEE Computer Security Foundations Symposium (CSF), the Twenty-third International Symposium on Formal Methods (FM), the Third International Conference on Formal Sturctures for Computation and Deduction (FSCD), the Thirty-fourth International Conference on Logic Programming (ICLP), the Ninth International Joint Conference on Automated Reasoning (IJCAR), the Ninth International Conference on Interactive Theorem Proving (ITP), the ASL-sponsored Thirty-third IEEE Symposium on Logic in Computer Science (LICS; see above), and the Twenty-first International Conference on Theory and Applications of Satisfiability Testing (SAT). Pre-conference workshops will be held July 7--8, 2018. The General Chair %for FLoC 2018 is M. Vardi and the Steering Committee Co-Chairs are D. Kroening and M. Kwiatkowska. For more information, visit the webpage below.
Second Women in Logic Workshop (WiL 2018) Oxford, UK
July 8, 2018
This event is being held as a LICS 2018 (see Sponsored Meetings, above) associated workshop this year. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work. The invited speakers are B. Pientka and P. Stevens. Topics of interest include but are not limited to the usual LICS topics. The members of the Scientific and Organizing Committee are: A. Compagnoni, A. Felty, A. Ingolfsdottir, S. Kalvala, U. Martin, V. de Paiva (Chair), B. Pientka, and V. Vignudelli. 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.
Workshop on Ramsey Theory and Computability Rome, Italy
July 9--13, 2018
The confirmed invited speakers include: L. Carlucci, C.T. Chong, M. Di Nasso, N. Galesi, J. Hirst, L. Liu, A. Pauly, P. Shafer, S. Sheila, R. Shore, H. Towsner, L. Wei, and K. Yokoyama. The Organizer is P. Cholak and the members of the Program Committee are: L. Carlucci, P. Cholak (Chair), D. Dzhafarov, D. Hirschfeldt, and L. Patey. The organizer is P. Cholak. For further information, visit the webpage below.
Fourth Hilbert-Bernays Summer School on Logic and Computation Göttingen, Germany
July 22--28, 2018
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): From abstract mathematics to verified programs (U. Berger), Gödel's Incompleteness Theorems (R. Kahle), Ordinal analysis (W. Pohlers), and Proof-Theoretic Semantics (P. Schroeder-Heister and L. Tranchini). For further information, visit the webpage below.
2018 ASL European Summer Meeting (Logic Colloquium '18) Udine, Italy
July 23--28, 2018
The twenty-ninth annual Gödel Lecture will be delivered by R. Downey. The invited speakers include: M. Antonutti Marfori, A. Atserias, V. Brattka, A. Ciabattoni, P. D'Aquino, P. Oliva, L. Patey, A. Tserunyan, S. Unger, M. Viale, and D. Westerstahl. Tutorials will be offered by U. Sattler and K. Tent. Special sessions (with organizers in parentheses) include: Computability theory (P. Shafer and A. Sorbi), Descriptive set theory and dynamical systems (B. Miller and A. Törnquist), Model theory (E. Casanovas and F. Wagner), Philosophy of logic and mathematics (J. Kennedy and G. Sagi), Proof theory and constructivism (S. Ghilardi and G. Sambin), and Temporal and multivalued logics (B. Gerla and M. Lange). The Program Committee members are: S. Demri, A. Kechris, C. Laskowski, D. Macpherson (Chair), A. Marcone, A. Montalbán, P. Pudlak, G. Sher, and D. Sinapova. The Local Organizing Committee includes: G. D'Agostino (Co-Chair), D. Della Monica, V. Dimonte, M. Fiori Carones, E. Frittaion, G. Gherardi, N. Gigante, A. Marcone, A. Molinari, A. Montanari (Co-Chair), F. Parlamento, C. Piazza, and M. Valenti. For further information, 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). Abstracts should be submitted as pdf files at https://easychair.org/conferences/?conf=lc18; for submission instructions see https://lc18.uniud.it. The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair: Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK.
Twenty-fifth Workshop on Logic, Language, Information and
Computation (WoLLIC 2018) Bogotá, Colombia
July 24-27, 2018
This series of workshops is intended to foster interdisciplinary research in pure and applied logic. The invited speakers are: K. Bimbo, X. Caicedo, J. Meseguer, E. Pimentel, G. Simari, and R. Wasserman (to be confirmed). The Chair of the Program Committee is L. Moss. The Co-chairs of the (Local) Organizing Committee are X. Caicedo, M. Martínez, and R. de Queiroz. 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. 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 short presentations 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 wepbage 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.
First International Summer School on Proof Theory and Workshop on Proof Theory Ghent, Belgium
September 2--7, 2018
These are the first events of the Proof Society, a new, international research network. The aim of the summer school is to cover basic and advanced topics in proof theory, with a focus on structural proof theory, ordinal analysis, provability logic, and automated theorem proving. The summer school will include the following courses (with speakers in parentheses): Cut Elimination (M. Baaz), Ordinals and their applications (A. Weiermann), Philosophy of Proof Theory (C. Nicolai), Programme Extraction (M. Seisenberger), Proof Theory in Computer Science (A. Voronkov), Provability Logic (D. Fernandez Duque), and Selected topics from the Theory of Truth (R. Urbaniak, to be confirmed). The Chair of the Program Committee is A. Beckmann, and the Chair of the Local Organizing Committee is A. Weiermann. For further information, visit the webpage below and http://www.proofsociety.org/workshop-2018/.
Set theory today: A Conference in honor of Georg Cantor Vienna, Austria
September 10-14, 2018
The invited speakers include: O. Ben-Neria, J. Brendle, A. Brooke-Taylor, D. Chodounský, J. Cummings, O. Guzmán, R. Honzik, Y. Khomskii, P. Larson, D. Mejía, J. Melleray, H. Mildenberger, L. Motto Ros, D. Raghavan (to be confirmed), C. Rosendal, G. Sargsyan, O. Spinas, A. Törnquist, T. Tsankov, M. Viale, and J. Zapletal. The members of the Organizing/Scientific Committee are: V. Fischer, S.-D. Friedman, and B. Miller. The Local Organizing Committee members are D. Carolina Montoya and D. Soukup. For further information, visit the webpage below.
From Permutation Groups to Model Theory: a Workshop Inspired by the Interests of Dugald Macpherson, on the Occasion of his 60th Birthday Edinburgh, Scotland
September 17--21, 2018
The invited speakers include: P. Cameron, Z. Chatzidakis, G. Cherlin, A. Chernikov (to be confirmed), R. Elwes, D. Evans, D. Garcia (to be confirmed), R. Gray, E. Hrushovski, M. Liebeck, A. Macintyre, D. Macpherson, J. Mitchell, I. Müller, J. Nesetril, P. Neumann, A. Pillay, C. Praeger, P. Simon, D. Sinora, S. Smith, S. Solecki, C. Steinhorn, K. Tent, S. Thomas, J. Truss, and E. Vargas-Garcia. The Organizers are: S. Anscombe, A. Aranda Lopez, D. Bradley-Williams, D. Haskell, C. Kestner, and T. Scanlon. 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
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, M. Hoyrup, T. Kihara, B. Kra, N. Lutz, A. Maass, K. M. Ng, and P. Shmerkin. Tutorials will be offered by S. Figueira and A. Gajardo. The Program Committee includes: 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 more information, visit the webpage below.
2018-19 ASL Winter Meeting (with Joint Mathematics
Meetings) Baltimore, Maryland
January 18--19, 2019
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 16-19, 2019. The members of the Program Committee are S. Cox, V. Harizanov (Chair), and A. Kolesnikov.
2019 ASL Winter Meeting (with APA) Denver, Colorado
February 20--23, 2019
This meeting will be held jointly with the Annual Meeting of the Central Division of the American Philosophical Association. The members of the Program Committee are K. Bimbo (Chair), P. Girard, and M. Rossberg.
2019 ASL North American Annual Meeting New York, New York
May 20--23, 2019
The members of the Local Organizing Committee are: S. Artemov, E. Antonakos (Co-Chair), A. Dolich, S. Friedman (Co-Chair), G. Fuchs, and J. Hamkins.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]