<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>
<div>========= Call for Participation ============</div>
<div><br>
</div>
<div>22nd International Conference on</div>
<div><br>
</div>
<div>Software Engineering and Formal Methods</div>
<div> 4-8 November 2024</div>
<div>University of Aveiro, Portugal</div>
<div><br>
</div>
<div>https://sefm-conference.github.io/2024/</div>
<div><br>
</div>
<div>============================================</div>
<div><br>
</div>
<div>The 22nd edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 8 November 2024, with workshops taking place on 4 and 5 November 2024.</div>
<div><br>
</div>
<div>*** Registration ***</div>
<div><br>
</div>
<div>The registration website is open, see</div>
<div><br>
</div>
<div>https://sefm-conference.github.io/2024/registration/</div>
<div><br>
</div>
<div>The deadline for early registration is October 15, 2024.</div>
<div><br>
</div>
<div>**Invited Talks**</div>
<div><br>
</div>
<div>Luís S. Barbosa, University of Minho, PT</div>
<div> - "Paraconsistency for the working software engineer"</div>
<div>Paula Herber, Universitat Munster, DE</div>
<div> - "Formal Verification of Cyber-physical Systems using Domain-specific Abstractions"</div>
<div>John van de Wetering, University of Amsterdam, the Netherlands</div>
<div> - "Picturing Quantum Software"</div>
<div><br>
</div>
<div>** Accepted Papers **</div>
<div><br>
</div>
<div>The list of accepted papers is online on</div>
<div><br>
</div>
<div>https://sefm-conference.github.io/2024/acceptedpapers/</div>
<div><br>
</div>
<div><br>
</div>
<div>** Co-located events **</div>
<div><br>
</div>
<div>Some workshops are co-located with the main conference, see</div>
<div><br>
</div>
<div>https://sefm-conference.github.io/2024/workshops/</div>
</div>
<div>
<div>-------------------------------------------------------<br>
Alexandre Madeira<br>
http://sweet.ua.pt/madeira/<br>
</div>
<div><br>
</div>
<br class="Apple-interchange-newline">
</div>
<br>
</body>
</html>