Meetings

Iowa State University, Ames, IA: The plenary speakers include M. Eskew (Vienna), K. Kosaian (Iowa), P. Kolaitis (Santa Cruz), T. Moraschini (Barcelona), R. Nagloo (UIC) and H. Towsner (Penn). Tutorials will be given by A. Tserunyan (McGill) and R. Willard (Waterloo).

There will be special sessions on Algebraic Logic (G. Bezhanishvili and J. Gil-Ferez), Computability Theory (R. Alvir and S. Lempp), Logic in Computer Science (L. Moss and S. Weinstein), Model Theory (M.C. Laskowski and A. Padgett), Set Theory (C. Conley and N. Trang), and Universal Algebra (C. Aten and K. Kearnes).

John Steel will receive the 10th Carol Karp Prize for his work in set theory, especially in "A Comparison Process for Mouse Pairs," Cambridge University Press, 2022. Grigor Sargsyan will give a lecture on Professor Steel's work.

The local committee consists of Samik Basu, Tim McNicholl (chair), Konstantin Slutsky, Eric Weber, and Kristin Yvonne-Rozier. The program committee consists of Barbara Csima (chair), Nick Galatos, Alex Kruckman, Tim McNicholl, and Itay Neeman.

The deadline for student travel awards and for contributed abstracts is February 14, 2024. Both should be sent to the ASL office asl@uconn.edu.

See the website for more information: https://asl2024.sites.iastate.edu/.

Gothenburg, Sweden: The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24–28 June at the University of Gothenburg in Sweden.

The colloquium will run for five days and comprise 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.

More information can be found here: https://lc2024.se/.

Argentino Hotel, Piriápolis, Uruguay: The Simposio Latinoamericano de Lógica Matemática (SLALM) started in the late 1960's, with the enthusiastic support of Abraham Robinson, who was then President of the ASL. It gathers the community of researchers in logic from all of Latin America and counts with the participation of leading researchers from all over the world. This symposium covers the following areas of mathematical logic: model theory, set theory, computability, logics in computer science, non-classical logic, algebraic logics, proof theory, history, and philosophy of logic.

Invited speakers include: Alejandro Diaz-Caro, Carlos Di Prisco, Natasha Dobrinen, Itala d'Ottaviano, Nadja Hempel, Alexandre Miquel, Samaria Montenegro, Davide Sangiorgi, Peter Selinger, and Marcos Silva.

The scientific committee consists of Christina Brech, Manuela Busaniche, Andrés Caicedo, Xavier Caicedo Ferrer, Luiz Carlos, Russell G. Miller, Lourdes del Carmen González Huesca, Antonio Montálban, Alf Onshuus, and Elaine Pimentel. The local committee consists of Walter Ferrer, Juan Pablo García, Mauricio Guillermo, Octavio Malherbe, and Alberto Pardo.

More information can be found here: https://xxslalm.cmat.edu.uy/. Anyone with questions regarding student travel should refer to the website.