22nd International Conference on Software Engineering and Formal Methods (SEFM’24)
6 6 people viewed this event.
22nd International Conference on Software Engineering and Formal Methods (SEFM’24) will be held in Aveiro, Portugal on November 6-8, 2024.
All contributions related to software engineering, formal methods, software validation and verification and security and safety are welcome.
All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer DBLP’s LNCS series.
The deadline for sending submissions is June 14, 2024