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