[Om-announce] SEFM'24: Call for Participation

[Alexandre Madeira]

========= Call for Participation ============

22nd International Conference on

Software Engineering and Formal Methods
      4-8 November 2024
University of Aveiro, Portugal

https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsefm-conference.github.io%2F2024%2F&data=05%7C02%7Com-announce%40openmath.org%7C3023f61c7b1c4b8edd6c08dce3a603b6%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638635549511716282%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=ZGwImNtks2yIY%2F7w0SEH5jdVn5YOq8xhfP7220B60YE%3D&reserved=0

============================================

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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsefm-conference.github.io%2F2024%2Fregistration%2F&data=05%7C02%7Com-announce%40openmath.org%7C3023f61c7b1c4b8edd6c08dce3a603b6%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638635549511716282%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=7Wl81z65EhSDBAysqqNC8P%2F5DwOMXVDb3nXNsKVV1fY%3D&reserved=0

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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsefm-conference.github.io%2F2024%2Facceptedpapers%2F&data=05%7C02%7Com-announce%40openmath.org%7C3023f61c7b1c4b8edd6c08dce3a603b6%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638635549511716282%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=d4stcv4mzinMul2WG03hrkIEVGWLK3w793rayatdrxg%3D&reserved=0


** Co-located events **

Some workshops are co-located with the main conference, see

https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsefm-conference.github.io%2F2024%2Fworkshops%2F&data=05%7C02%7Com-announce%40openmath.org%7C3023f61c7b1c4b8edd6c08dce3a603b6%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638635549512028769%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=vKKkRRoa0RQ0k35thDhnLbidXU0eUtaR%2BXIi3Q3wcw0%3D&reserved=0
-------------------------------------------------------
Alexandre Madeira
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fsweet.ua.pt%2Fmadeira%2F&data=05%7C02%7Com-announce%40openmath.org%7C3023f61c7b1c4b8edd6c08dce3a603b6%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638635549512028769%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C60000%7C%7C%7C&sdata=Pc09sUSjIC3B6kI46vrzOqc7NRwxclXU5zSL9F83%2Bk4%3D&reserved=0



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20241003/08436724/attachment-0001.htm>