[TYPES/announce] GandALF 2025 - Deadline Extension to 6 June
Giorgio Bacci
grbacci at cs.aau.dk
Wed May 28 10:51:27 EDT 2025
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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250528/73b286bd/attachment-0001.htm>
More information about the Types-announce
mailing list