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

@@ @@ -14,27 +14,27 @@ https://event.cwi.nl/sefm2020/ @@
 ## Important Dates
 <table>
 <tr><td>- <strike> Workshop proposal submission deadline:</td><td> Monday, January 27, 2020 </td> </tr>
 <tr><td>- <strike> Workshop proposal notification:</td><td> Wednesday, February 5, 2020 </td></tr>
 <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
 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.
 Topics of interest include, but are not limited to, the following
 aspects of software engineering and formal methods:
 ##### Software Development Methods

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 ## 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>- 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).
 ##### 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/">Cisma 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.

0 comments (0 inline, 0 general)