Update index.md

events/GILogicWorkshops/index.md

@@ -12,13 +12,13 @@ An in-person meeting of Deduction Systems is planned for 2022 as a part of the K
 
 The 2021 meeting is [here](2021/index.html).
 
-### Program of the Spring 2022 Meeting
+### Tentative Program of the Spring 2022 Meeting
 
 The meeting will take place online on April 8.
 The call for contributions is [here](2022/cfp.txt).
 
 The program will consist of multiple sessions of zoom talks in the zoom room https://fau.zoom.us/j/63889416032.
-The tentative program is as follows:
+The **tentative** program is as follows:
 
 * Session 1: 9:00 - 10:00 (chair: Olaf Beyersdorff)
   * 9:00: Marijn Heule, **Invited talk** [slides (if any)](2022/heule.pdf)