[TYPES/announce] GandALF 2025 - Deadline Extension to 6 June

[Giorgio Bacci]

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>