[Proof Complexity] ESSLLI 2026 - Second Call for Participation (Early-bird extension)

Dusan Varis info2026 at esslli.eu
Thu Jun 4 16:32:53 CEST 2026


We invite you to participate in the 37 th European Summer School in Logic, Language and Information (ESSLLI), taking place from August 3 rd to August 14 th , 2026 at the Faculty of Civil Engineering, Czech Technical University, Prague, Czechia. 


[ https://2026.esslli.eu/ | https://2026.esslli.eu/ ] 



Registration 


The early-bird registration deadline has been extended to June 15 th : 

[ https://2026.esslli.eu/registration/registration.html | https://2026.esslli.eu/registration/registration.html ] 



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: 

[ https://2026.esslli.eu/courses-workshops-accepted/week-1-and-2-schedule.html | https://2026.esslli.eu/courses-workshops-accepted/week-1-and-2-schedule.html ] 



Accommodation 


We have reserved a number of two-person student rooms in a student dormitory of the Charles University. This accommodation offers a practical and affordable option for students, but with a very modest level of comfort typical of university dormitories. 

[ https://2026.esslli.eu/location/accommodation-general.html | https://2026.esslli.eu/location/accommodation-general.html ] 



More information about the Proof-Complexity mailing list