[Hol-info] SEFM'24: Call for Participation

[Alexandre M. <ma...@ua...>]

========= 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/