Meetings

University of Notre Dame, South Bend, IN - ONLINE: This meeting will now be held online. Although the vaccine news is promising, wide spread travel may not be feasible by June, therefore the local organizing committee made the decision to move to an online format. Website will be available soon. Registration is available here: http://aslonline.org/2021-north-american-annual-meeting-registration/.

The Program Committee consists of Guram Bezhanishvili, Curtis Franks, Selwyn Ng, Dima Sinapova, Margaret Thomas and Henry Towsner (chair). The Organizing Committee consists of Tim Bays, Jc Beall, Paddy Blanchette, Peter Cholak, Curtis Franks, Julia Knight (co-chair), Anand Pillay (co-chair) and Sergei Starchenko.

Plenary speakers will include: Johanna Franklin, Mai Gehrke, Cameron Hill, Timothy McNicholl, Agnes Szendrei, Nam Trang, and Julia Wolf. Tutorial speakers will include: Justin Moore and Rahim Moosa.

Special sessions (with organizers): Set theory (James Cummings and Anush Tserunyan), Computability theory (Arno Pauly and Takayuki Kihara), Model theory (Deirdre Haskell and Erik Walsberg), Topology meets Philosophy and Logic (Tamar Lando, Sonja Smets, and Aybüke Özgün), and Non-classical logic (Nikolaos Galatos and Wesley Holliday).

Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts. Abstracts must be received by March 22, 2021, by email to asl@uconn.edu or at the ASL Business Office.

Applications and recommendations for Student Travel Awards must be received by March 22, 2021 by the Program Chair Henry Towsner, htowsner@math.upenn.edu.

Adam Mickiewicz University, Poznan, Poland - ONLINE: The 2020 ASL European Summer Meeting (Logic Colloquium) that was to be held in Poznan, Poland, July 13-18, 2020 has been RESCHEDULED for July 19-24, 2021. It will now be held online. Although the vaccine news is promising, wide spread travel may not be feasible by July, therefore the decision has been made to move to an online format. More information will be available soon.

This meeting will be hosted by Adam Mickiewicz University in Poznań, and organized by the AMU Faculty of Psychology and Cognitive Science and the AMU Faculty of Mathematics and Computer Science. The plenary speakers are A. Chernikov, V. Fischer, N. Greenberg, B. Monin, L. Motto Ros, E. Pimentel, F. Pfenning, J. van Benthem, L. Westrick, and R. Williams. Tutorials will be offered by K. Krupinski and A. Marks. There will be special sessions on Computability; Logic and Cognitive Science and Linguistics; Modal and Epistemic Logic; Model Theory; Proofs and Programs; and Set Theory. The 2021 Gödel Lecture will be delivered by E. Bouscaren.

The members of the Program Committee are W. Buszkowski, A. Dawar, G. Primiero, M. Soskova, H. Towsner, M. Viale, and B. Zil'ber (chair). The Local Organizing Committee consists of W. Buszkowski, J. Golińska-Pilarek, L. Kołodziejczyk, P. Lupkowski, R. Murawski (co-chair), M. Nasieniewski, J. Pogonowski, T. Skura, K. Świrydowicz, M. Urbański (co-chair), and A. Wiśniewski.

The deadline for submitting abstracts of contributed talks is April 30, 2021; abstracts should satisfy the ASL's Rules for Abstracts. Applications for travel funding for students and recent Ph.D.'s are due by April 13, 2021.

For more information, visit https://lc2021.pl/.

Seattle, WA: The Joint Mathematics Meeting will be January 5-8, 2022 in Seattle, Washington and will include an AMS-ASL Special Session on the Model Theoretic Classification Program organized by Artem Chernikov (UCLA) and Nicholas Ramsey (UCLA). The program committee for the ASL-JMM meeting is Dana Bartošová (Florida), Kirsten Eisenträger (Penn State), James Freitag (UIC, chair) and Philipp Hieronymi (UIUC).

Student travel applications for this conference are due October 7, 2021 and should be sent to Shannon Miller at asl@uconn.edu. The deadline for contributed abstracts will be announced later this spring, but is likely to be in mid or late August. For more information, see: https://www.jointmathematicsmeetings.org//jmm.