diff --git a/seminar.md b/seminar.md index d64903b4d0a3863f85bed4b30946de470991403f..a2cd0a40545500a1db3a09ade5ff68c9a18e0b3a 100644 --- a/seminar.md +++ b/seminar.md @@ -40,6 +40,6 @@ and a mattermost channel for chat. To join the mattermost channel: |2021-02-15| ? | cancelled | |2021-03-01| Bernhard Schröder | Something about proof structures? | |2021-03-15| Peter Koepke | Isabelle-Naproche | -|2021-03-29| ? | ? | +|2021-03-29| André Greiner-Petter | TBD |