CSY/sefm2020 Changeset - 104c129747de · Centrum Wiskunde & Informatica (CWI)

Changeset - 104c129747de

Parent rev.

Child rev.

[Not reviewed]

0 1 0

Benjamin Lion - 5 years ago 2020-09-25 11:21:36
lion@brahms.fm.cwi.nl

Add links for the recordings.

1 file changed with 8 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

 <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
 ##### 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
 Both the papers
 <i>A Formal Modeling Approach for Portable Low-Level OS Functionality</i>
 by Renata Gomes, Bernhard Aichernig and Marcel Baunach.
 and

0 comments (0 inline, 0 general)