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

Di Cosmo Francesco Francesco.DiCosmo at unibz.it
Fri Jan 19 15:09:56 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

2nd 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. In previous years Springer has supported the ESSLLI Student Session by offering prizes of vouchers for Springer books. We aim to offer the same prizes this year. Such prizes will be awarded based on the content and quality of the paper and the presentation at ESSLLI. 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