Title: Software Engineering and Formal Methods 2020
Date: 2019-11-13 10:20
Authors: Michael Guravage
save_as: index.html
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 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.


##### SEFM 2020 will be an entirely virtual event


Because of the COVID-19 pandemic, we have decided that SEFM  2020 will not
take place physically but will be replaced by a virtual event.
As usual, a LNCS proceedings will be prepared and all accepted papers have
to be presented at the virtual conference. 

##### Registration is now open.
The virtual conference will be organised by live presentations (see the <a href="https://easychair.org/smart-program/SEFM2020/">programme</a>), using Zoom.
Participation is free, but registering to the <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">mailing list</a> is required in order to receive the Zoom link. Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail.

## Important Dates

<table>
<tr><td>- <strike> Workshop proposal submission deadline:</td><td> Monday, January 27, 2020 </strike></td> </tr>
<tr><td>- <strike> Workshop proposal notification:</td><td> Wednesday, February 5, 2020 </strike></td></tr>
<tr><td>- <strike>Abstract submission deadline:</td><td> Monday, April 27, 2020</strike></td></tr>
<tr><td>- <strike>Paper submission deadline:</td><td> Monday, May 4, 2020</strike></td></tr>
<tr><td>- <strike>NEW Abstract submission deadline: </td><td>Sunday, May 24, 2020</strike> </td></tr>
<tr><td>- <strike>NEW Paper submission deadline: </td><td> Sunday, May 31, 2020  </strike> </td></tr>
<tr><td>- Paper notification:</td><td> Friday, July 10, 2020</td></tr>
<tr><td>- Camera ready version:</td><td> Monday, July 20, 2020</td></tr>
<tr><td>- Registration (early):</td><td> TBD</td></tr>
<tr><td>- Conference</td></tr>
<tr><td style="padding-left:2.5em"> Workshops:</td><td> <strong>September 14-15, 2020</strong></td></tr>
<tr><td style="padding-left:2.5em"> SEFM:</td><td> <strong>September 16-17, 2020</strong></td></tr>
</table>

## News
##### - Registration is open via the mailing list accessible <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">here</a>.
##### - Foclasa has been <b>cancelled</b>.
##### - Preliminary program 
The preliminary program is accessible <a href="https://easychair.org/smart-program/SEFM2020/">here</a> (times indicated correspond to time zone GMT+1).
##### - New dates for the conference
The conference will take place on September 16-17, 2020 
##### - External link for workshops
Links for <a href="http://asyde2020.disim.univaq.it/">Asyde workshop 2020</a>, <a href="https://cifma.github.io/">Cifma workshop 2020</a>, <a href="https://sites.google.com/view/cosimcps20/home">CoSim-CPS workshop 2020</a>, and <a href="http://pages.di.unipi.it/foclasa/">Foclasa workshop 2020</a> are now available.

Visit the <a href="https://event.cwi.nl/sefm2020/category/workshops.html">workshop</a> section for more information.


## Sponsors

T.B.D.