diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index 7617f729c77737449f0bc9a5eff2beabfd18bc99..65f17511432c4a051c3d33f7aa016b321f4196ac 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)