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