update program

_data/program.yml

@@ -7,10 +7,15 @@
     - title: Opening
       from: "13:50"
       to: "14:00"
+      location: "Room: Fischbach"
+      authors:
+        - Jaime Arias
+        - Guillaume Cantin
 
     - 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: "Room: Fischbach"
       authors:
         - Gilles Ardourel
       # paper: andre.pdf
@@ -20,6 +25,7 @@
     - title: "Programmatic Strategy Synthesis"
       from: "15:00"
       to: "15:25"
+      location: "Room: Fischbach"
       authors:
         - Tobias Winkler
       # paper: andre.pdf
@@ -33,6 +39,7 @@
     - title: "Invited Speaker: <em>Rewriting Modulo SMT Techniques for Parametric Analysis</em>"
       from: "16:00"
       to: "16:55"
+      location: "Room: Fischbach"
       authors:
         - Carlos Olarte
       # paper: andre.pdf
@@ -42,6 +49,7 @@
     - title: "Parameterized Verification of Systems with Precise (0, 1)-Counter Abstraction"
       from: "17:00"
       to: "17:25"
+      location: "Room: Fischbach"
       authors:
         - Paul Eichler
       # paper: andre.pdf
@@ -57,6 +65,7 @@
     - title: "Invited Speaker: <em>Training and Generalization Errors for Underparameterized Neural Networks</em>"
       from: "10:30"
       to: "11:25"
+      location: "Room: Fischbach"
       authors:
         - Laurent Fribourg
       # paper: andre.pdf
@@ -66,6 +75,7 @@
     - title: "Parameterized Verification of Timed Networks with Lossy Broadcast and Clock Invariants"
       from: "11:30"
       to: "11:55"
+      location: "Room: Fischbach"
       authors:
         - Étienne André
       # paper: andre.pdf
@@ -79,6 +89,7 @@
     - title: "Invited Speaker: <em>Verification of Parametric Markov Chains</em>"
       from: "13:30"
       to: "14:25"
+      location: "Room: Fischbach"
       authors:
         - Matthias Volker
       # paper: andre.pdf
@@ -88,6 +99,7 @@
     - title: "Parameter Synthesis for Spatial Dynamical Systems with Uncertainty"
       from: "14:30"
       to: "15:00"
+      location: "Room: Fischbach"
       authors:
         - Benoît Delahaye
       # paper: andre.pdf

_includes/program.html

@@ -39,8 +39,10 @@
         <div class="item item-talk">
           <div class="meta">
             <h4 class="time mb-3">{{ talk.from }} - {{ talk.to }}</h4>
-            <div class="location">
+            <div class="location mb-3">
+              {% if talk.location %}
               <i class="fas fa-map-marker-alt me-2"></i>{{ talk.location }}
+              {% endif %}
             </div>
             <!--//profile-->
           </div>
@@ -59,10 +61,14 @@
             {% endif %}
             </h3>
             <div class="profile mb-3">
+              {% if talk.authors %}
               <i class="fa-solid fa-user me-2"></i>
               {{ talk.authors | join: ", "}}
+              {% endif %}
             </div>
+            {% if talk.description %}
             <div class="desc">{{ talk.description }}</div>
+            {% endif %}
           </div>
           <!--//content-->
         </div>