SEFM 2020

From Openresearch
Revision as of 10:35, 6 April 2020 by Birgit.Hofmann (talk | contribs) (Created page with "{{Event |Acronym=SEFM 2020 |Title=18th International Conference on Software Engineering and Formal Methods |Series=SEFM |Type=Conference |Start date=2020/09/14 |End date=2020/...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Homepage: https://event.cwi.nl/sefm2020/
Location
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
Committees
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