Reykjavik Summer of Cool Logic 2024 (SCooL 2024)

Call for Papers

Reykjavik Summer of Cool Logic 2024 (SCooL 2024), Reykjavik 10-21/6 2024


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=gandalf2024

Important dates

Paper submission deadline: 10 April 2024 19 April 2024
Acceptance notification: 10 May 2024 15 May 2024
Camera-ready deadline: 10 June 2024
Early registration deadline: 30 May 2024
Conference dates: 19-21 June 2024

All deadlines are AoE.