Logic Colloquium 2024: Logic Colloquium 2024, The European Summer Meeting of the Association for Symbolic Logic University of Gothenburg Gothenburg, Sweden, June 24-28, 2024

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 2024 meeting will run for five days and comprise 7 plenary lectures, 3 tutorials and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.

The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Instructions for submission can be found below.

Important Dates

The following times are in CET/CEST (Europe/Stockholm: UTC +02:00)

• 29 February 2024: Deadline for ASL student travel applications
• 1 March: Deadline for contributed talks
• 28 March: Notification of student travel grants
• 24–28 June: Conference

Tutorials

• Anuj Dawar, University of Cambridge
• Alberto Marcone, Università Di Udine
• Andrei Sipoș, University of Bucharest

Plenary Speakers

• Daisuke Bekki, Ochanomizu University
• Johanna Franklin, Hofstra University
• James Freitag, University of Illinois at Chicago
• Rosalie Iemhoff, Utrecht University
• Stephen Jackson, University of North Texas
• Leszek Kołodziejczyk, University of Warsaw
• Paul-André Melliès, Université Paris Denis Diderot

Gödel Lecture

The 2024 Gödel lecture will be given by

• Tom Scanlon, University of California at Berkeley

Special Sessions

The topics of the special sessions are given below. Special session speakers will be announced soon.

• Applied Model Theory, chairs: Gareth Jones and Tamara Servi
• Computable Structures, chairs: Uri Andrews and Julia Knight
• Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatzikyriakidis
• Philosophical Logic, chairs: Volker Halbach and Heinrich Wansing
• Proof Theory, chairs: Anton Freund and Sonia Marin
• Set Theory, chairs: Dana Bartošová and Slawomir Solecki

Contributed Talks

Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL and papers must be prepared using ASL template and class which is available both on EasyChair and under CFC on the webpages of the meeting.

If this template is used with a new version of LaTeX, an error may occur declaring some commands are already defined. This does not cause problems: hitting return twice in the compile window to bypass the error, the file will compile with the desired output. Do not just comment out the offensive commands.

Note that in order for your submission to be accepted you will need to also attach both tex and pdf of your abstract.

Program Committee

• Bahareh Afshari (Gothenburg, Sweden)
• Gal Binyamini (Jerusalem, Israel)
• Natasha Dobrinen (Notre Dame, USA)
• Ulrich Kohlenbach (Darmstadt, Germany) (chair)
• Keng Meng Ng (Singapore)
• Francesca Poggiolesi (Paris, France)
• Mehrnoosh Sadrazadeh (London, UK)
• Reed Solomon (Connecticut, USA)
• Szymon Toruńczyk (Warsaw, Poland)