Difference between revisions of "Event:SEFM 2020"

From ConfIDent
m (Text replacement - "Homepage=" to "Official Website=")
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
|Acronym=SEFM 2020
 
|Acronym=SEFM 2020
 
|Title=18th International Conference on Software Engineering and Formal Methods
 
|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
 
|Type=Conference
|Official Website=https://event.cwi.nl/sefm2020/
 
|City=Amsterdam
 
|Country=Country:NL
 
 
|Has coordinator=Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion
 
|Has coordinator=Frank de Boer, Dick Broekhuis, Hans-Dieter Hiep, Benjamin Lion
 
|has program chair=Frank de Boer, Antonio Cerone
 
|has program chair=Frank de Boer, Antonio Cerone
Line 12: Line 19:
 
|pageEditor=User:Curator 34
 
|pageEditor=User:Curator 34
 
|contributionType=1
 
|contributionType=1
|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=on site
 
 
}}
 
}}
 
{{Event Deadline
 
{{Event Deadline
 +
|Notification Deadline=2020/06/26
 
|Abstract Deadline=2020/04/27
 
|Abstract Deadline=2020/04/27
 
|Paper Deadline=2020/05/04
 
|Paper Deadline=2020/05/04
|Notification Deadline=2020/06/26
 
 
|Camera-Ready Deadline=2020/07/07
 
|Camera-Ready Deadline=2020/07/07
 
|Submission Deadline=2020/06/04
 
|Submission Deadline=2020/06/04
 
}}
 
}}
 +
{{Organizer
 +
|Contributor Type=organization
 +
|Organization=Centrum Wiskunde & Informatica
 +
}}
 +
{{Event Metric}}
 
{{S Event}}
 
{{S Event}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
 
 
==Topics==
 
==Submissions==
 
==Important Dates==
 
 
==Committees==
 
* Co-Organizers
 
* General Co-Chairs
 
** [[has general chair::some person]], some affiliation, country
 
 
* PC Co-Chairs
 
** [[has program chair::some person]], some affiliation, country
 
 
* Workshop Chair
 
** [[has workshop chair::some person]], some affiliation, country
 
 
* Panel Chair
 
** [[has OC member::some person]], some affiliation, country
 
 
* Seminars Chair
 
** [[has tutorial chair::some person]], some affiliation, country
 
 
* Demonstration Co-Chairs
 
** [[has demo chair::some person]], some affiliation, country
 
** [[has demo chair::some person]], some affiliation, country
 
 
* Local Organizing Co-Chairs
 
** [[has local chair::some person]], some affiliation, country
 
 
* Program Committee Members
 
** [[has PC member::some person]], some affiliation, country
 
-->
 

Latest revision as of 16:38, 4 January 2024

Deadlines
2020-06-26
2020-04-27
2020-05-04
2020-07-07
2020-06-04
27
Apr
2020
Abstract
4
May
2020
Paper
4
Jun
2020
Submission
26
Jun
2020
Notification
7
Jul
2020
Camera-Ready
organization
Metrics
Venue
Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.