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 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: firstname.lastname@example.org.
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: email@example.com
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]