CSY/sefm2020 Changeset - 8233c52107eb · Centrum Wiskunde & Informatica (CWI)

Changeset - 8233c52107eb

Parent rev.

Child rev.

[Not reviewed]

0 1 0

Benjamin Lion - 5 years ago 2020-04-28 10:56:59
lion@brahms.fm.cwi.nl

Update main index page.

1 file changed with 31 insertions and 10 deletions:

projects/SEFM2020/content/pages/index.md

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 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. How the virtual conference will
 be organised is still under consideration,
 e.g., live presentations and/or recorded ones.
 The paper selection process will however proceed as planned.
 ## Important Dates
 * Workshop proposal submission deadline: Monday 27 January 2020
 * Workshop proposal notification: Wednesday 5 February 2020
 * Abstract submission deadline: Monday 27 April 2020
 * Paper submission deadline: Monday 4 May 2020
 * Paper notification: Friday 26 June 2020
 * Camera ready: Tuesday 7 July 2020
 * Registration (early): TBD
 * Conference
     * Workshops: **September 14-15, 2020**
     * SEFM: **September 16-18, 2020**
 <table>
 <tr><td>- <strike> Workshop proposal submission deadline:</td><td> Monday 27 January 2020 </strike></td> </tr>
 <tr><td>- <strike> Workshop proposal notification:</td><td> Wednesday 5 February 2020 </strike></td></tr>
 <tr><td>- <strike>Abstract submission deadline:</td><td> Monday 27 April 2020</strike></td></tr>
 <tr><td>-<strike>Paper submission deadline:</td><td> Monday 4 May 2020</strike></td></tr>
 <tr><td>- NEW Abstract submission deadline: </td><td>Sunday 24 May 2020</td></tr>
 <tr><td>- NEW Paper submission deadline: </td><td> Sunday 31 May 2020</td></tr>
 <tr><td>- Paper notification:</td><td> Friday 26 June 2020</td></tr>
 <tr><td>- Camera ready:</td><td> Tuesday 7 July 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-18, 2020</strong></td></tr>
 </table>
 ## News
 ##### 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.
 Visit the <a href="https://event.cwi.nl/sefm2020/category/workshops.html">workshop</a> section for more information.
 ## Sponsors

0 comments (0 inline, 0 general)