fix typo

_data/program.yml

@@ -7,7 +7,7 @@
     - title: Opening
       from: "13:50"
       to: "14:00"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Jaime Arias
         - Guillaume Cantin
@@ -15,7 +15,7 @@
     - title: "Invited Speaker: <em>Using Statistical Model Checking in a Process for Evaluating and Calibrating a Model of Tropical Forest Dynamics</em>"
       from: "14:00"
       to: "14:55"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Gilles Ardourel
       # paper: andre.pdf
@@ -25,7 +25,7 @@
     - title: "Programmatic Strategy Synthesis"
       from: "15:00"
       to: "15:25"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Tobias Winkler
       paper: Programmatic_Strategy_Synthesis.pdf
@@ -39,7 +39,7 @@
     - title: "Invited Speaker: <em>Rewriting Modulo SMT Techniques for Parametric Analysis</em>"
       from: "16:00"
       to: "16:55"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Carlos Olarte
       # paper: andre.pdf
@@ -49,7 +49,7 @@
     - title: "Parameterized Verification of Systems with Precise (0, 1)-Counter Abstraction"
       from: "17:00"
       to: "17:25"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Paul Eichler
         - Teymur Ismikhanov
@@ -68,7 +68,7 @@
     - title: "Invited Speaker: <em>Training and Generalization Errors for Underparameterized Neural Networks</em>"
       from: "10:30"
       to: "11:25"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Laurent Fribourg
       # paper: andre.pdf
@@ -78,7 +78,7 @@
     - title: "Parameterized Verification of Timed Networks with Lossy Broadcast and Clock Invariants"
       from: "11:30"
       to: "11:55"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Étienne André
         - Paul Eichler
@@ -96,7 +96,7 @@
     - title: "Invited Speaker: <em>Verification of Parametric Markov Chains</em>"
       from: "13:30"
       to: "14:25"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Matthias Volker
       # paper: andre.pdf
@@ -106,7 +106,7 @@
     - title: "Parameter Synthesis for Spatial Dynamical Systems with Uncertainty"
       from: "14:30"
       to: "15:00"
-      location: Fischbach
+      location: "Room: Fischbach"
       authors:
         - Benoît Delahaye
       # paper: andre.pdf