Meetings

Johannesburg, South Africa (Online): The ASL Committee on Logic in Africa will host the first "Logic in Africa" event from 17-19 May 2021. It will be a series of three online seminars that will be held each day at 5pm Central Africa Time (UTC +2). This is intended to be the first in a series of annual ASL events for logic in Africa.

Below are the details of the talks:

Monday 17 May: "Some classes of RML with collapsing multi-structures" -Celestin Lele (Université de Dschang, Cameroon)

Tuesday 18 May: "Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic" -Tarek Sayed Ahmed (Cairo University, Egypt)

Wednesday 19 May: "Some applications of logic to the combinatorics of countable structures" -Rehana Patel (African Institute for Mathematical Sciences, Senegal)

To join the seminars, please use the following link (the same link will be used for all three days' talks):

Join Zoom Meeting https://wits-za.zoom.us/j/93569764565. Meeting ID: 935 6976 4565

The committee is grateful to the DSI-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS) in South Africa for providing the Zoom hosting facilities.

ASL Committee on Logic in Africa: Willem Conradie and Daoud Siniora (co-chairs), Andrew Craig, Moataz El-Zekey, Willem Fouché, Tarek Sayed Ahmed

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. Visit the website here for more information: https://sites.nd.edu/asl2021/. 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.