[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: lc2024.se
contact: [email protected]
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 10 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 will be made available through the conference webpage.
IMPORTANT DATES
==========================
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
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 [email protected] no later than February 29, 2024. See the webpage for
full instructions.
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)
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, William Noble, 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
