CFC: Logic Colloquium 2024, Gothenburg, 24-28 June 2024

[Bahareh Afshari]

Call for Contributions
Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: lc2024.se
contact: in...@lc2024.se

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.
==========================
IMPORTANT DATES
==========================
29 February 2024: Deadline for ASL student travel applications
1 March: Deadline for contributed talks
28 March: Notification of student travel grants
2 April: Notification of acceptance of contributed talks
24-28 June: Conference
==========================
Scientific Programme
==========================
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.

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

Special Sessions
================
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

Gödel Lecture
================
The 2024 Gödel lecture will be given by Tom Scanlon, University of California at Berkeley.
==========================
Contributed Talks
==========================
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 will be made available through the conference webpage.

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 from the conference webpages https://lc2024.se/contributed_talks/
==========================
Programme 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)
==========================
ASL Student travel award
==========================
Graduate students and recent PhDs may apply for ASL travel support. Student travel award applications (with accompanying recommendation letters) should be emailed to in...@lc2024.se no later than February 29, 2024. See the webpage for full instructions.
==========================
Local organising committee
==========================
Bahareh Afshari (chair), Giacomo Barlucchi, Rasmus Blanck, Gianluca Curzi, Fredrik Engström, Tjeerd Fokkens, Mattias Granberg Olsson, Martin Kaså, Graham E. Leigh, Ivan Di Liberti, Orvar Lorimer Olsson, Dominik Wehr
==========================
Sponsors
==========================
Association for Symbolic Logic
The Royal Society of Arts and Sciences in Gothenburg
Knut and Alice Wallenberg Foundation
Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg
Centre for Linguistic Theory and Studies in Probability, University of Gothenburg
==========================