
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

<div>Dear colleagues,</div>

<div><br>

</div>

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

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

<div><br>

</div>

<div>The submission deadline has been extended to<b> 6 June 2025</b>.</div>

<div><br>

</div>

<div>For full details, please visit the official conference website: <a href="https://urldefense.com/v3/__https://gandalfsymposium.github.io/2025/__;!!IBzWLUs!Xu0DywKarubdNTVl2CtTqyCdO2Bh2oqBSUjU4GK2d_2_e2scLq7y2uxd4toAPYEL8E42zkGNXNknRwqUi2xAdtG79AbP4Jnb$">https://gandalfsymposium.github.io/2025/</a></div>

<div><br>

</div>

<div>

<div>Best regards,</div>

<div>Giorgio Bacci and Adrian Francalanza (GandALF’25, PC chairs)</div>

</div>

<div>

<div><br>

</div>

<br class="Apple-interchange-newline">

</div>

<br>

</body>

</html>