[TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024

Gianluca Curzi gianluca.curzi at gu.se
Thu Oct 5 04:01:06 EDT 2023


Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: lc2024.se
contact: info at 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.

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 info at lc2024.se 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231005/52468ae9/attachment-0001.htm>


More information about the Types-announce mailing list