Thursday, May 16, 2024

Accepted papers for GandALF 2024 and SLSS 2024

The list of papers that were selected for presentation at GandALF 2024 is available at https://scool24.github.io/GandALF/ I am looking forward to listening to the presentations based on those articles and to the four invited talks by Bernd Finkbeiner (CISPA Helmholtz Center for Information Security), Kim Guldstrand Larsen (Aalborg University), Brigitte Pientka (McGill University) and Azalea Raad (Imperial College London). 

On behalf of the GandALF SC, I thank the GandALF 2024 PC co-chairs, Antonis Achilleos and Adrian Francalanza, and their PC for the efficient PC work. 

 In case you missed it, the list of selected contributions and invited talks at the co-located Twelfth Scandinavian Logic Symposium (SLSS 2024) is at https://scool24.github.io/SLSS/. SLSS will be held on 14-16 June and GandALF on 19-21 June. As part of the Reykjavik Summer of Cool Logic 2024 (SCooL 2024), we will also host the Fifth Nordic Logic Summer School (NLS 2024) on 10-13 June. 

Thanks to all my colleagues at ICE-TCS, Department of Computer Science at Reykjavik University, who are working very hard on the organisation of these three events back to back. 

I hope to see a good participation at those events.