Changeset - a7fe4bfdab2b
[Not reviewed]
0 1 0
Benjamin Lion - 6 years ago 2019-11-19 10:17:36
lion@brahms.fm.cwi.nl
change dates of the conference.
1 file changed with 10 insertions and 10 deletions:
0 comments (0 inline, 0 general)
projects/SEFM2020/content/pages/index.md
Show inline comments
 
@@ -7,25 +7,25 @@ Status: hidden
 

	
 
## Welcome to SEFM 2020
 

	
 
The 18th edition of the International Conference on Software Engineering and Formal Methods will be held in **Amsterdam, The Netherlands** on **September 13--18, 2020**.
 
The 18th edition of the International Conference on Software Engineering and Formal Methods will be held in **Amsterdam, The Netherlands** on **September 14--18, 2020**.
 

	
 
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
 

	
 
## News
 

	
 
No news is good news.
 

	
 
## Important Dates
 

	
 
* Abstract Submission: TBD
 
* Paper Submission: TBD
 
* Notification: TBD
 
* Camera Ready: TBD
 
* Workshop proposal submission deadline: Monday 27 January 2020
 
* Workshop proposal notification: Wednesday 5 February 2020
 
* Abstract submission deadline: Monday 27 April 2020
 
* Paper submission deadline: Monday 4 May 2020
 
* Paper notification: Friday 26 June 2020
 
* Camera ready: Tuesday 7 July 2020
 
* Registration (early): TBD
 
* Conference
 
    * Workshops: **September 13-15, 2019**
 
    * Workshops: **September 14-15, 2019**
 
    * SEFM: **September 16-18, 2019**
 

	
 
## News
 

	
 
## Sponsors
 

	
 
T.B.D.
0 comments (0 inline, 0 general)