Submission

Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here), be unpublished, and contain original research.

For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via EasyChair at the following address:

https://easychair.org/conferences/?conf=gandalf2025

Important dates

  • Paper submission deadline: 30 May 2025
  • Acceptance notification: 4 July 2025
  • Camera-ready deadline: 25 July 2025
  • Early registration deadline: 25 July 2025
  • Conference dates: 15-18 September 2025

All deadlines are AoE.

Publication

The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science.

The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021, 2022, 2023, and 2024).