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. Marikovakova, S. Martinelli, M. Moniri, G. Pettit, B. Powell, C. Pynes, N. Vakil, G. Weitkamp, and L. Welch. For further information, visit
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 February 23, 2018, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: email@example.com.
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, 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 (A. Sorbi and P. Shafer), 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), V. Dimonte, M. Fiori Carones, G. Gherardi, N. Gigante, A. Marcone, A. Montanari (Co-Chair), A. Molinari, 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, beginning in January 2018. 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.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]