Difference between revisions of "Event:SEFM 2020"

Latest revision as of 16:38, 4 January 2024

Deadlines

27
Apr

2020

Abstract

4
May

2020

Paper

4
Jun

2020

Submission

26
Jun

2020

Notification

7
Jul

2020

Camera-Ready

Metrics

Venue

Loading map...

Warning: Venue is missing. The map might not show the exact location.

@@ Line 2: / Line 2: @@
 |Acronym=SEFM 2020
 |Title=18th International Conference on Software Engineering and Formal Methods
+|Ordinal=18
+|In Event Series=Event Series:SEFM
+|Single Day Event=no
+|Start Date=2020/09/14
+|End Date=2020/09/18
+|Event Status=as scheduled
+|Event Mode=online
+|Academic Field=Computer Science; Formal Methods; Software Engineering
+|Official Website=https://event.cwi.nl/sefm2020/
+|DOI=10.25798/dvw4-2m11
 |Type=Conference
-|Submission deadline=2020/06/04
-|Homepage=https://event.cwi.nl/sefm2020/
-|City=Amsterdam
-|Country=Netherlands
-|Abstract deadline=2020/04/27
-|Paper deadline=2020/05/04
-|Notification=2020/06/26
-|Camera ready=2020/07/07
 |Has coordinator=Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion
 |has program chair=Frank de Boer, Antonio Cerone
 |Has PC member=Erika Abraham, Wolfgang Ahrend, Alessandro Aldini
-|has Keynote speaker=Paola Inverardi, Eelco Visser
 |pageCreator=User:Curator 34
 |pageEditor=User:Curator 34
 |contributionType=1
-|In Event Series=Event Series:SEFM
-|Single Day Event=no
-|Start Date=2020/09/14
-|End Date=2020/09/18
 }}
-<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+{{Event Deadline
+|Notification Deadline=2020/06/26
-==Topics==
+|Abstract Deadline=2020/04/27
-==Submissions==
+|Paper Deadline=2020/05/04
-==Important Dates==
+|Camera-Ready Deadline=2020/07/07
+|Submission Deadline=2020/06/04
-==Committees==
+}}
-* Co-Organizers
+{{Organizer
-* General Co-User:Curator 83airs
+|Contributor Type=organization
-** [[has general chair::some person]], some affiliation, country
+|Organization=Centrum Wiskunde & Informatica
+}}
-* PC Co-User:Curator 83airs
+{{Event Metric}}
-** [[has program chair::some person]], some affiliation, country
+{{S Event}}
-* Workshop User:Curator 83air
-** [[has workshop chair::some person]], some affiliation, country
-* Panel User:Curator 83air
-** [[has OC member::some person]], some affiliation, country
-* Seminars User:Curator 83air
-** [[has tutorial chair::some person]], some affiliation, country
-* Demonstration Co-User:Curator 83airs
-** [[has demo chair::some person]], some affiliation, country
-** [[has demo chair::some person]], some affiliation, country
-* Local Organizing Co-User:Curator 83airs
-** [[has local chair::some person]], some affiliation, country
-* Program Committee Members
-** [[has PC member::some person]], some affiliation, country
--->