From 6c3e5c188076992bee086dda7769492af3688d34 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 31 Mar 2022 15:03:48 +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 9d17463..5e87cf5 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) -- GitLab