Add RESSI talk

OlivierNicole · Dec 18, 2020 · 87c6c16 · 87c6c16
1 parent 971172d
commit 87c6c16
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 6 deletions.
diff --git a/index.en.html b/index.en.html
@@ -20,8 +20,9 @@ <h2>Publications</h2>
 
 <ul>
   <li>
-    <strong>Automatically Proving Microkernel Security</strong> (<a
-      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <strong>Automatically Proving Microkernel Security</strong>
+      (<a href="/talks/ressi_2020.pdf">slides</a>,
+      <a href="/talks/ressi_2020.mp4">video in French</a>)
     <br />
     Olivier Nicole <br />
     <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous

diff --git a/index.eo.html b/index.eo.html
@@ -19,8 +19,9 @@ <h2>Eldonaĵoj</h2>
 
 <ul>
   <li>
-    <strong>Automatically Proving Microkernel Security</strong> (<a
-      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <strong>Automatically Proving Microkernel Security</strong>
+      (<a href="/talks/ressi_2020.pdf">lumbildoj</a>,
+      <a href="/talks/ressi_2020.mp4">franclingva video</a>)
     <br />
     Olivier Nicole <br />
     <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous

diff --git a/index.fr.html b/index.fr.html
@@ -16,8 +16,9 @@ <h2>Publications</h2>
 
 <ul>
   <li>
-    <strong>Automatically Proving Microkernel Security</strong> (<a
-      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <strong>Automatically Proving Microkernel Security</strong>
+      (<a href="/talks/ressi_2020.pdf">diapos</a>,
+      <a href="/talks/ressi_2020.mp4">vidéo</a>)
     <br />
     Olivier Nicole <br />
     <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous

diff --git a/site.hs b/site.hs
@@ -27,6 +27,14 @@ main = hakyll $ do
         route idRoute
         compile copyFileCompiler
 
+    match "talks/*.pdf" $ do
+        route idRoute
+        compile copyFileCompiler
+
+    match "talks/ressi_2020.mp4" $ do
+        route idRoute
+        compile copyFileCompiler
+
     match "files/*" $ do
         route idRoute
         compile copyFileCompiler