diff --git a/seminar.md b/seminar.md index 9ba363f8e4b16eb1f6b1b87dcc1589c9aa6143d2..cdd8995e0de440ba724824b98b7329b4a5c12f7b 100644 --- a/seminar.md +++ b/seminar.md @@ -36,7 +36,7 @@ and a mattermost channel for chat. To join the mattermost channel: |2021-01-18| Jan Frederik Schaefer | A Symbolic Framework for Mathematical Language Understanding ([slides](https://github.com/jfschaefer/slides/blob/master/2021/sigmathling/slides.pdf)) | |2021-02-01| Takuto Asakura | Towards Grounding of Formulae | |2021-02-15| ? | ? | -|2021-03-01| ? | ? | +|2021-03-01| Bernhard Schröder | Something about proof structures? | |2021-03-15| ? | ? | |2021-03-29| ? | ? |