[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://gandalfsymposium.github.io/2025/__;!!IBzWLUs!Xu0DywKarubdNTVl2CtTqyCdO2Bh2oqBSUjU4GK2d_2_e2scLq7y2uxd4toAPYEL8E42zkGNXNknRwqUi2xAdtG79AbP4Jnb$
Best regards,
Giorgio Bacci and Adrian Francalanza (GandALF’25, PC chairs)
