From 70d013e42f96e34ffbd4c4f8b2f4214bad0562b4 2020-09-23 15:48:58
From: Benjamin Lion <lion@brahms.fm.cwi.nl>
Date: 2020-09-23 15:48:58
Subject: [PATCH] Add best paper award to the news; cross the date for the conference.

---

diff --git a/projects/SEFM2020/content/pages/call_for_papers.md b/projects/SEFM2020/content/pages/call_for_papers.md
index b53810c78ce847c73187ccc3db8e481d31fdeab9..24dfcba73fae6fbfac4bc681b44edbf280b340b0 100644
--- a/projects/SEFM2020/content/pages/call_for_papers.md
+++ b/projects/SEFM2020/content/pages/call_for_papers.md
@@ -23,9 +23,9 @@ https://event.cwi.nl/sefm2020/
 <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 
diff --git a/projects/SEFM2020/content/pages/index.md b/projects/SEFM2020/content/pages/index.md
index 991a6b5f9aff2e1e12662bae9cd0ca98ffb361d5..52a6a37b1e68ff2d019e38e774d7c03c9623faf0 100644
--- a/projects/SEFM2020/content/pages/index.md
+++ b/projects/SEFM2020/content/pages/index.md
@@ -41,14 +41,32 @@ The social protocol for the main conference is as follows: participants can ask
 <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