SEFM 2020

From Openresearch
Jump to: navigation, search
SEFM 2020
18th International Conference on Software Engineering and Formal Methods
Event in series SEFM
Dates 2020/09/14 (iCal) - 2020/09/18
Location: Amsterdam, Netherlands
Loading map...

Important dates
Abstracts: 2020/04/27
Papers: 2020/05/04
Submissions: 2020/06/04
Notification: 2020/06/26
Camera ready due: 2020/07/07
Organizers: Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion
PC chairs: Frank de Boer, Antonio Cerone
PC members: Erika Abraham, Wolfgang Ahrend, Alessandro Aldini
Keynote speaker: Paola Inverardi, Eelco Visser
Table of Contents