Events and news relevant to the Laboratory for Foundations of Computer Science

[Giorgio Bacci <grbacci@cs.aau.dk>]

Dear colleagues,

Please consider submitting a paper to GandALF 2025, which will be held in Valletta, Malta, on September 16-17, 2025. 

We welcome contributions in logic, formal methods, and theoretical computer science, broadly related to the themes of the GandALF symposium.

The submission deadline has been extended to 6 June 2025.

For full details, please visit the official conference website: https://gandalfsymposium.github.io/2025/

Best regards,

Giorgio Bacci and Adrian Francalanza (GandALF’25, PC chairs)