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 - NEW Paper submission deadline: Sunday, May 31, 2020 - Paper notification: Friday, July 10, 2020 - Camera ready version: Monday, July 20, 2020 -- Conference - Workshops: September 14-15, 2020 - SEFM: September 16-17, 2020 +- Conference + Workshops: September 14-15, 2020 + SEFM: September 16-17, 2020 ## News -##### Registration is open via the mailing list accessible here. +##### Refereed proceedings +LNCS 12310 is now available online. You can find information about it here. + +##### Best paper award + +Both the papers + +A Formal Modeling Approach for Portable Low-Level OS Functionality +by Renata Gomes, Bernhard Aichernig and Marcel Baunach. + +and + +Sound C Code Decompilation for a subset of x86-64 Binaries +by Freek Verbeek, Pierre Olivier and Binoy Ravindran + +received the Best paper award SEFM 2020. + + +##### Registration is open via the mailing list accessible here. ##### Foclasa has been cancelled