KeYmaera Session

Author: EnguerrandPrebet

_layouts/programme.html

@@ -157,7 +157,7 @@ <h3>not so preliminary anymore</h3>
 	<br>
 	Room: SR6
       </td>
-      <td>{{ session("#7b", "Yong Kiam Tan", [216,217,218]) }}</td>
+      <td>{{ session("Proving Safety with dL", "Yong Kiam Tan", [216,217,218]) }}</td>
     </tr>
 
     <tr class="break">
@@ -183,7 +183,7 @@ <h3>not so preliminary anymore</h3>
       	<br>
 	Room: SR6
       </td>
-      <td>{{ session("#6b", "Enguerrand Prebet", [219,214,213,215], "closed") }}</td>
+      <td>{{ session("Games for Hybrid Systems", "Enguerrand Prebet", [219,214,213,215], "closed") }}</td>
     </tr>
 
     <tr class="break">

talks/abouelwafa.md

@@ -3,7 +3,7 @@ author: "Noah Abou El Wafa"
 kind: "Regular Talk (20 min. + 10 min.)"
 track: "KeYmaera Track"
 title: "Complete Game Logic with Sabotage"
-slot: 216
+slot: 213
 length: 30 
 order: 34
 ---

talks/longq.md

@@ -3,7 +3,7 @@ author: "Long Qian"
 kind: "Regular Talk (20 min. + 10 min.)"
 track: "KeYmaera Track"
 title: "Axiomatization of Compact Initial Value Problems: Open Properties"
-slot: 215
+slot: 216
 length: 30 
 order: 40
 ---

talks/platzer.md

@@ -3,7 +3,7 @@ author: "André Platzer"
 kind: "Regular Talk (20 min. + 10 min.)"
 track: "KeYmaera Track"
 title: "Differential Hybrid Games"
-slot: 213
+slot: 215
 length: 30
 order: 39
 ---