Logic List Mailing Archive

CfP: Logic Colloquium 2024, 24-28 June 2024, Gothenburg (Sweden)

Call for Contributions
Logic Colloquium 2024
Gothenburg, Sweden
24-28 June 2024
web: lc2024.se
contact: info@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 info@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 ==========================
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php