Logic List Mailing Archive

CfP: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)

We invite you to participate in the 36th European Summer School in Logic, Language  and Information (ESSLLI), taking place from 28 July - 8 August, 2025 at Ruhr University Bochum, Germany.


https://2025.esslli.eu/


* Overview


The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organized under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives.


ESSLLI attracts around 400 participants from Europe, the Middle East, Asia and Africa, as well as from North America and Latin America. ESSLLI has become the main meeting place for young researchers and students in logic, linguistics and computer science to discuss current research and to share knowledge. The event is unique in its interdisciplinary set-up, with no equivalents in Europe.


* Programme


The ESSLLI Summer School offers an exciting two-week programme, consisting of the following:


- Foundational, introductory and advanced courses in three areas: Language and Computation, Logic and Computation, and Logic and Language

- Workshops in logic, linguistics and computer science

- Student session

- Evening lectures

- Social activities


The full program can be found on the website.


* Registration:


Registration for attendees is now open. The early-registration deadline is Saturday, 31st May.


https://2025.esslli.eu/registration/registration.html


* Accommodation


Various options for accommodation at special negotiated rates are listed on the website and available first-come, first-served. We have also set up a dedicated Discord server which can be used for coordinating shared apartments, etc.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php