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

##### 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.

##### <strike>Registration is open via the mailing list accessible <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">here</a></strike>.

##### Foclasa has been cancelled

##### Program

The program is available <a href="https://easychair.org/smart-program/SEFM2020/">here</a> (times indicated correspond to time Central European summer time).