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).
 
-### Tentative Program of the Spring 2022 Meeting
+### 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 program is as follows:
 
 * Session 1: 10:00 - 11:00 (chair: Claudia Schon)
   * 10:00: Martin Suda, **Invited talk** [slides (if any)](2022/suda.pdf)