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. AiML 2018 will be co-located with Logic, Algebra and Truth Degrees (LATD 2018, see below). For further information, visit http://www.aiml2018.unibe.ch. (ASL Sponsored Meeting.)
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
The 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, S. Figueira, A. Gajardo (to be confirmed), M. Hoyrup, T. Kihara, B. Kra (to be confirmed), N. Lutz, A. Maass, K. M. Ng, and P. Shmerkin (to be confirmed). The members of the Program Committee are: 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. For further information, visit http://www.mat-unab.cl/~ccr2018/. (ASL Sponsored Meeting.)
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 confirmed invited speakers are: N. Dobrinen, D. Cenzer, S. Goncharov, J. Kruger, M.C. Laskowski, and J. Marikova. The members of the Program Committee are S. Cox, V. Harizanov (Chair), and A. Kolesnikov. The Joint Mathematics Meetings program includes two joint AMS-ASL special sessions: Definability and Decidability Problems in Number Theory, organized by K. Eisentraeger, D. Haskell, J. Park, and A. Shlapentokh; and, Algorithmic Dimensions and Fractal Geometry, organized by J. Lutz and E. Mayordomo. There also will be an AMS special session of interest to logicians: Recent Advances and Trends in Computable Structure Theory (in honor of Jeff Remmel), organized by J. Chubb and T. McNicholl. 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 10, 2018, at the ASL Business Office: ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA.; Fax:1-860-486-4238; email: email@example.com.
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. 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 16, 2018, at the ASL Business Office: ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA.; Fax:1-860-486-4238; email: firstname.lastname@example.org
PhDs in Logic XI Bern, Switzerland
April 24-26, 2019
The 11th edition of the PhDs in Logic conference will be held at the Mathematical Institute of the University of Bern (Bern, Switzerland) from April 24-26, 2019. This is an interdisciplinary conference that aims to involve PhD students, early Postdocs, and Master students from all over the world, and accepts contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers (and, for the first time, 3 invited young researchers giving tutorials) as well as short presentations by PhD students, Master students, and early Postdocs. This annual graduate conference is organized by PhD students. This year the organizers are: Almudena Colacito, Eveline Lehmann, Nenad Savić, Olim Tuyt (Bern, Switzerland), and Arianna Novaro (Toulouse, France). While the website for the 2019 edition is not ready yet, you can find more information about the 2018 edition at the following link: https://logic.ff.cuni.cz/research/conferences/phd-logic/index.html
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.
15th International Conference of the Mathematics Education for the Future Project, Theory and Practice: An Interface or A Great Divide? Maynooth University, Kildare, Ireland
August 4-9, 2019
The Mathematics Education for the Future Project was founded in 1986 as an international non-profit body to support and encourage innovation in mathematics, statistics, science and computer education. Since 1999 there have been 14 conferences throughout the world culminating in our Hungary Conference in September 2017 which was attended by 125 people from 22 countries. The conferences are renowned for their friendly and productive atmosphere and attract many of the movers and shakers in education world-wide. The Full Preliminary Announcement and Call for Papers is now available at http://directorymathsed.net/public/Ireland/ Photo albums of our last three conferences are at https://alantrogerson.imgur.com/ If you are interested in attending and presenting a paper or workshop please send an abstract of not more than 12 lines as soon as it is convenient. Firm deadlines for papers/workshop summaries will be sent to you in August. Accepted papers and workshops will be presented at the conference and included in the ISBN Printed Proceedings and on our on-line conference website. Free double-blind peer review is offered for all participants presenting papers or workshops who register for the conference and pay the registration fee. Details of the super early-bird deposit will be sent to you upon request.
Congress of Logic, Methodology and Philosophy of Science and Technology (16th CLMPST) Prague, Czech Republic
August 5--10, 2019
The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organized under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences. Members of the programme committee include Hanne Andersen (chair), Rachel Ankeny, Theodore Arabatzis, Veronica Becher, Craig Callender, Hasok Chang, Xiang Chen, Eleonora Cresto, Zoubeida Dagher, Lisbeth De Mol, Valeria Giardino, Zuzana Hanikova, Paul Humphreys, Maria Kronfeldner, Sabina Leonelli, Fenrong Liu, Endla Loehkivi, Benedikt Loewe, Tomas Marvan, Michiru Nagatsu, R. Ramanujam, Adriane Rini, Federica Russo, Dirk Schlimm, Yaroslav Shramko, and Andres Villaveces. The initial Call for Papers has been issued with a deadline of December 15, 2018. http://clmpst2019.flu.cas.cz/
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]