diff --git a/projects/SEFM2020/content/pages/papers.md b/projects/SEFM2020/content/pages/papers.md
new file mode 100644
index 0000000000000000000000000000000000000000..6db940837c073181b6caf9057430292e56545629
--- /dev/null
+++ b/projects/SEFM2020/content/pages/papers.md
@@ -0,0 +1,28 @@
+Title: Papers
+Status: hidden
+
+##### Papers
+
+Below is the list of the papers for the SEFM conference. 
+Please <b>do not distribute</b> the pdfs or the link.
+
+<table>
+<tr><td>A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World                                  (<a href="/sefm2020/extras/invited_paper_1.pdf">pdf</a>)</td></tr>
+<tr><td>Multi-Purpose Syntax Definition with SDF3                                                                           (<a href="/sefm2020/extras/invited_paper_2.pdf">pdf</a>)</td></tr>
+<tr><td>Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods (<a href="/sefm2020/extras/paper_1.pdf        ">pdf</a>)</td></tr>
+<tr><td>Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems                                       (<a href="/sefm2020/extras/paper_6.pdf        ">pdf</a>)</td></tr>
+<tr><td>End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK                              (<a href="/sefm2020/extras/paper_8.pdf        ">pdf</a>)</td></tr>
+<tr><td>Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification                                              (<a href="/sefm2020/extras/paper_10.pdf       ">pdf</a>)</td></tr>
+<tr><td>Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study                        (<a href="/sefm2020/extras/paper_12.pdf       ">pdf</a>)</td></tr>
+<tr><td>FRed: Conditional Model Checking via Reducers and Folders                                                           (<a href="/sefm2020/extras/paper_18.pdf       ">pdf</a>)</td></tr>
+<tr><td>Difference Verification with Conditions                                                                             (<a href="/sefm2020/extras/paper_19.pdf       ">pdf</a>)</td></tr>
+<tr><td>A Formal Modeling Approach for Portable Low-Level OS Functionality                                                  (<a href="/sefm2020/extras/paper_21.pdf       ">pdf</a>)</td></tr>
+<tr><td>Model-based Testing under Parametric Variability of Uncertain Beliefs                                               (<a href="/sefm2020/extras/paper_29.pdf       ">pdf</a>)</td></tr>
+<tr><td>Hoare-Style Logic for Unstructured Programs                                                                         (<a href="/sefm2020/extras/paper_34.pdf       ">pdf</a>)</td></tr>
+<tr><td>Synthesis of P-stable Abstractions                                                                                  (<a href="/sefm2020/extras/paper_38.pdf       ">pdf</a>)</td></tr>
+<tr><td>Runtime Verification of Contracts with Themulus                                                                     (<a href="/sefm2020/extras/paper_54.pdf       ">pdf</a>)</td></tr>
+<tr><td>Sound C Code Decompilation for a subset of x86-64 Binaries                                                          (<a href="/sefm2020/extras/paper_55.pdf       ">pdf</a>)</td></tr>
+<tr><td>Statically Checking REST API Consumers                                                                              (<a href="/sefm2020/extras/paper_58.pdf       ">pdf</a>)</td></tr>
+<tr><td>A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis                                      (<a href="/sefm2020/extras/paper_59.pdf       ">pdf</a>)</td></tr>
+<tr><td>Formal Verification of Human-Robot Interaction in Healthcare Scenarios                                              (<a href="/sefm2020/extras/paper_65.pdf       ">pdf</a>)</td></tr>
+</table>