Commit 340a0cae authored by Frederik Schaefer's avatar Frederik Schaefer
Browse files

Update seminar.md

parent ab90a76d
Pipeline #3028 passed with stage
in 1 minute and 8 seconds
...@@ -37,7 +37,7 @@ and a mattermost channel for chat. To join the mattermost channel: ...@@ -37,7 +37,7 @@ and a mattermost channel for chat. To join the mattermost channel:
|2021-02-01| Takuto Asakura | Towards Grounding of Formulae ([slides](https://drive.google.com/file/d/1JxNKW5M0KKYeBeL6Umsg6ZKBNzdCV_DC/view)) | |2021-02-01| Takuto Asakura | Towards Grounding of Formulae ([slides](https://drive.google.com/file/d/1JxNKW5M0KKYeBeL6Umsg6ZKBNzdCV_DC/view)) |
|2021-02-15| ? | ? | |2021-02-15| ? | ? |
|2021-03-01| Bernhard Schröder | Something about proof structures? | |2021-03-01| Bernhard Schröder | Something about proof structures? |
|2021-03-15| ? | ? | |2021-03-15| Peter Köpke | Isabelle-Naproche |
|2021-03-29| ? | ? | |2021-03-29| ? | ? |
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment