Curator 91 (talk | contribs) |
Curator 91 (talk | contribs) |
||
Line 9: | Line 9: | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
|Event Mode=online | |Event Mode=online | ||
− | |Academic Field= | + | |Academic Field=Computer Science; Formal Methods; Software Engineering |
|Official Website=https://event.cwi.nl/sefm2020/ | |Official Website=https://event.cwi.nl/sefm2020/ | ||
+ | |DOI=10.25798/dvw4-2m11 | ||
|Type=Conference | |Type=Conference | ||
|Has coordinator=Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion | |Has coordinator=Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion |
Latest revision as of 16:38, 4 January 2024
Deadlines
|
||
Abstract |
|
||
Paper |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Venue
Warning: Venue is missing. The map might not show the exact location.