Skip to content
Snippets Groups Projects
Commit ba892fbe authored by Frederik Schaefer's avatar Frederik Schaefer
Browse files

Update seminar.md

parent c4c371e3
Branches
No related tags found
No related merge requests found
Pipeline #3141 passed
......@@ -52,7 +52,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-15| - | cancelled |
|2021-03-01| Bernhard Schröder | Framed proofs -- Linguistic aspects of proof texts and frames |
|2021-03-15| Peter Koepke | Isabelle-Naproche |
|2021-03-15| Peter Koepke | Isabelle/Naproche |
|2021-03-29| André Greiner-Petter | TBD |
|2021-04-12| ? | ? |
|2021-04-26| ? | ? |
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment