diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index 9d17463d16819a3723d09b9a89e9ef350f10a0e7..5e87cf511f99e324815587e52967ba956ae2b8de 100644 --- a/events/GILogicWorkshops/index.md +++ b/events/GILogicWorkshops/index.md @@ -12,12 +12,12 @@ 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 Online Meeting in Spring 2022 +### 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. +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: * Session 1: 9:00 - 10:00 (chair: Olaf Beyersdorff)