[Proof Complexity] Final Call for Papers -- ESSLLI 2024 Student Session

Di Cosmo Francesco Francesco.DiCosmo at unibz.it
Mon Feb 19 16:08:48 CET 2024

(apologies for potential cross-posting)

35th European Summer School in Logic, Language and Information

Student session CfP

            29 July – 9 August 2024, Leuven, Belgium


Final Call for Papers -- Student Session



Extended CfP: https://2024.esslli.eu/.

Important Dates


Paper submission deadline: March 1, 2024

Notification of acceptance: May 1, 2024

Camera-ready submission: June 1, 2024

Event: July 29 - August 9, 2024

Submission link: https://easychair.org/conferences/?conf=esslli2024 (make sure to choose the Student Session track).



The Student Session of the 35th European Summer School in Logic, Language, and Information (ESSLLI) will take place at ESSLLI 2024, on 29 July - 9 August 2024 in Leuven, Belgium. We invite submissions of original, unpublished work from students in any area related to Logic & Language, Language & Computation, or Logic & Computation in the form of long (8 pages) or short (4 pages) papers (including references, figures, etc.). Submissions will be reviewed by several experts in the field. Accepted long papers will be presented as talks, while short papers will be presented as posters. This is an excellent opportunity for students to receive valuable feedback from expert readers and to present their work to a diverse audience. Short papers are especially suited for smaller or in-progress research works.

See the extended Call for Papers at the ESSLLI 2024 webpage for the submission and publication policies: https://2024.esslli.eu/.



For both long and short papers, the best contributions (submission plus presentation) will receive an award. Springer generously supports the ESSLLI Student Session by offering prizes for a total of 600€ in Springer books. The best poster and the best talk will each be awarded Springer book vouchers of 300€ each. The prizes are awarded based on the reviews of the submission as well as the oral/poster presentation. The ideas presented should be novel and promising. The presentation at ESSLLI should be adapted to the wide variety of backgrounds that ESSLLI participants come from: everybody should be able to learn/understand something new.



Participation, including presentation, in the Student Session requires an ESSLLI 2024 registration at: https://2024.esslli.eu/

Depending on the budget, student grants may be available.

Student Session Committee


Session chairs


Francesco Di Cosmo (Free University of Bozen-Bolzano)

John Lindqvist (University of Bergen)

Language and Computation Track (LaCo)


Jia Ren (University of Massachusetts Amherst)

Jiaxing Yu (Rutgers University)

Tran Thi Hong Hanh (Jozef Stefan Institute and University of La Rochelle)

Language and Logic Track (LaLo)


Emil Eva Rosina (Ruhr-Universität Bochum)

Tijana Šuković (University of Belgrade)

Valeria Gradimondo (University Paris Cité)

Logic and Computation Track (LoCo)


Alex De Klerck (KU Leuven)

Sreehari Kalloormana (City University of New York)

Tephilla Prince (Indian Institute of Technology Dharwad)

More information about the Proof-Complexity mailing list