diff --git a/_data/program.yml b/_data/program.yml
index dcb5fb8f0837d49398739e2ce20c2a03837183a5..53dd7f9c997f242332df878e41b4661f012da308 100644
--- a/_data/program.yml
+++ b/_data/program.yml
@@ -20,7 +20,7 @@
       authors:
         - Gilles Ardourel
       # paper: andre.pdf
-      # slides: keynote_andre.pdf
+      slides: Gilles_Ardourel.pdf
       # description: TBD
 
     - title: "Programmatic Strategy Synthesis"
@@ -33,7 +33,7 @@
         - Joost-Pieter Katoen
         - Tobias Winkler
       paper: Programmatic_Strategy_Synthesis.pdf
-      # slides: keynote_andre.pdf
+      slides: Tobias_Winkler.pdf
       # description: TBD
 
     - title: "Coffee break"
@@ -48,7 +48,7 @@
       authors:
         - Carlos Olarte
       # paper: andre.pdf
-      # slides: keynote_andre.pdf
+      slides: Carlos_Olarte.pdf
       # description: TBD
 
     - title: "Parameterized Verification of Systems with Precise (0, 1)-Counter Abstraction"
@@ -78,7 +78,7 @@
       authors:
         - Laurent Fribourg
       # paper: andre.pdf
-      # slides: keynote_andre.pdf
+      slides: Laurent_Fribourg.pdf
       # description: TBD
 
     - title: "Parameterized Verification of Timed Networks with Lossy Broadcast and Clock Invariants"
@@ -107,7 +107,7 @@
       authors:
         - Matthias Volk
       # paper: andre.pdf
-      # slides: keynote_andre.pdf
+      slides: Matthias_Volk.pdf
       # description: TBD
 
     - title: "Parameter Synthesis for Spatial Dynamical Systems with Uncertainty"
diff --git a/assets/download/slides/Carlos_Olarte.pdf b/assets/download/slides/Carlos_Olarte.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..90814f4b0999efd08f78beed7d5613b66737ac54
Binary files /dev/null and b/assets/download/slides/Carlos_Olarte.pdf differ
diff --git a/assets/download/slides/Gilles_Ardourel.pdf b/assets/download/slides/Gilles_Ardourel.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..742e2e956610b4e6e40e5da128a274ae53cd9d17
Binary files /dev/null and b/assets/download/slides/Gilles_Ardourel.pdf differ
diff --git a/assets/download/slides/Laurent_Fribourg.pdf b/assets/download/slides/Laurent_Fribourg.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..9a27006b1ca7c803398216fa791ddeb9edb5dc9a
Binary files /dev/null and b/assets/download/slides/Laurent_Fribourg.pdf differ
diff --git a/assets/download/slides/Matthias_Volk.pdf b/assets/download/slides/Matthias_Volk.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..aadd696a50b260ad44e4871d3a69d5a2529db15f
Binary files /dev/null and b/assets/download/slides/Matthias_Volk.pdf differ
diff --git a/assets/download/slides/Tobias_Winkler.pdf b/assets/download/slides/Tobias_Winkler.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..824044c6dddfa75ce9374268a1befcb0d0d4d9a1
Binary files /dev/null and b/assets/download/slides/Tobias_Winkler.pdf differ
diff --git a/assets/download/slides/keynote_andre.pdf b/assets/download/slides/keynote_andre.pdf
deleted file mode 100644
index d64016c17dbc51e07d7c8d72e8dc6c2c262cb639..0000000000000000000000000000000000000000
Binary files a/assets/download/slides/keynote_andre.pdf and /dev/null differ