CSY/sefm2020 Changeset - 70d013e42f96 · Centrum Wiskunde & Informatica (CWI)

Changeset - 70d013e42f96

Parent rev.

Child rev.

[Not reviewed]

0 2 0

Benjamin Lion - 5 years ago 2020-09-23 15:48:58
lion@brahms.fm.cwi.nl

Add best paper award to the news; cross the date for the conference.

2 files changed with 25 insertions and 7 deletions:

projects/SEFM2020/content/pages/call_for_papers.md

projects/SEFM2020/content/pages/index.md

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/call_for_papers.md

➞

Show inline comments

@@ @@ -20,15 +20,15 @@ https://event.cwi.nl/sefm2020/ @@
 <tr><td>- <strike> Abstract submission deadline:</td><td> Monday, April 27, 2020</td></tr>
 <tr><td>- <strike> Paper submission deadline:</td><td> Monday, May 4, 2020</td></tr>
 <tr><td>- <strike> NEW Abstract submission deadline: </td><td>Sunday, May 24, 2020</td></tr>
 <tr><td>- <strike> NEW Paper submission deadline: </td><td> Sunday, May 31, 2020</td></tr>
 <tr><td>- <strike> Paper notification:</td><td> Friday, July 10, 2020</td></tr>
 <tr><td>- <strike> Camera ready:</td><td> Monday, July 20, 2020</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>
 <tr><td>- <strike>Conference</td></tr>
 <tr><td style="padding-left:2.5em"> <strike>Workshops:</td><td> <strong>September 14-15, 2020</strong></td></tr>
 <tr><td style="padding-left:2.5em"> <strike>SEFM:</td><td> <strong>September 16-17, 2020</strong></td></tr>
 </table>
 ## Overview and scope
 SEFM aims to bring together leading researchers and practitioners
 from academia, industry, and government, to advance the state of

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 <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>- 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>
 <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
 ##### Registration is open via the mailing list accessible <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">here</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.
 ##### <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).

0 comments (0 inline, 0 general)