[Proof Complexity] CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)

[ESSLLI Publicity]

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.