CSY/sefm2020 Changeset - 2de4de78c292 · Centrum Wiskunde & Informatica (CWI)

Changeset - 2de4de78c292

Parent rev.

Child rev.

[Not reviewed]

master

0 1 0

Benjamin Lion - 4 years ago 2021-02-04 13:23:04
lion@brahms.fm.cwi.nl

Add the link to the LNCS volume.

1 file changed with 5 insertions and 0 deletions:

projects/SEFM2020/content/pages/index.md

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 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.
 ##### Free access to the LNCS 12524 volume
 The LNCS volume is freely accessible <a href="https://link.springer.com/book/10.1007/978-3-030-67220-1">here</a> until the 4th of March.
 ##### 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
 <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
 ##### Free access to the LNCS 12524 volume
 The LNCS volume is freely accessible <a href="https://link.springer.com/book/10.1007/978-3-030-67220-1">here</a> until the 4th of March.
 ##### 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

0 comments (0 inline, 0 general)