From 58fecf2d5c33ad9036a09abb2b27204ce5cfb359 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Thu, 31 Mar 2022 15:21:18 +0000
Subject: [PATCH] Update index.md

---
 events/GILogicWorkshops/index.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index 7617f72..65f1751 100644
--- a/events/GILogicWorkshops/index.md
+++ b/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)
-- 
GitLab