Title: Software Engineering and Formal Methods 2020

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 **virtually**, hosted in **Amsterdam, The Netherlands** on **September 14--17, 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.

The timezone for the event is Amsterdam local time, i.e. <a href="https://en.wikipedia.org/wiki/Central_European_Summer_Time">

Central European Summer Time, UTC+02:00</a>.

##### Registration is now open

The virtual conference and the virtual affiliated workhops will be organised by live presentations (see the <a href="https://easychair.org/smart-program/SEFM2020/">programme of the main conference</a>), using <a href="https://support.zoom.us/hc/en-us/articles/206175806" target="_blank">Zoom</a>. 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 for the conference and the workshops. 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. You will receive a final confirmation mail when registration is succesful.

Registration to the mailing list is done for both the main conference and the workshops: every registered user will receive multiple Zoom links by e-mail for joining the workshops and the main conference. The Zoom links are sent just-in-time, one day before the event. In case of technical difficulties, contact Benjamin Lion (<a href="mailto:b.lion@cwi.nl">b.lion@cwi.nl</a>) or Hans-Dieter Hiep (<a href="mailto:hdh@cwi.nl">hdh@cwi.nl</a>).

##### Zoom social protocol

The social protocol for the main conference is as follows: participants can ask questions during the presentation using the chat functionality of Zoom. At the end of each presentation, there is a five minute slot in which the session chair will choose and read aloud the most interesting questions for the presenter to answer. Alternatively, a session chair may unmute participant(s) to stimulate discussion.

## 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>- <strike>Paper notification:</td><td> Friday, July 10, 2020</td>   </strike></tr>

<tr><td>- <strike>Camera ready version:</td><td> Monday, July 20, 2020</td> </strike></tr>

<tr><td>- <strike>Conference</td></strike></tr>

<tr><td style="padding-left:2.5em"><strike> Workshops:</td><td> <strong>September 14-15, 2020</strong></td></strike></tr>

<tr><td style="padding-left:2.5em"><strike> SEFM:</td><td> <strong>September 16-17, 2020</strong></td></strike></tr>

</table>

## News

##### Links for the recordings 

Recordings for the conference are now accessible:

<a href="https://surfdrive.surf.nl/files/index.php/s/iTfVsKUW0uwyWeg">Part 1</a>

<a href="https://surfdrive.surf.nl/files/index.php/s/FgiP1CkU0sDoGHJ">Part 2</a>

##### Refereed proceedings 

LNCS 12310 is now available online. You can find information about it <a href="https://www.springer.com/978-3-030-58767-3">here</a>.

##### Best paper award

Both the papers

<i>A Formal Modeling Approach for Portable Low-Level OS Functionality</i>

by Renata Gomes, Bernhard Aichernig and Marcel Baunach. 

and

<i>Sound C Code Decompilation for a subset of x86-64 Binaries</i>

by Freek Verbeek, Pierre Olivier and Binoy Ravindran 

received the Best paper award SEFM 2020.