Skip to content
Snippets Groups Projects
Commit 81b2cce7 authored by jfschaefer's avatar jfschaefer
Browse files

Takuto's talk now in February

parent 565c9cae
Branches
No related tags found
No related merge requests found
Pipeline #2825 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
seminar.md
+ 1
− 1
View file @ 81b2cce7
...@@ -34,7 +34,7 @@ and a mattermost channel for chat. To join the mattermost channel: ...@@ -34,7 +34,7 @@ and a mattermost channel for chat. To join the mattermost channel:
|2020-12-21| Deborah Mendes Ferreira | How to represent mathematical statements for the task of finding relevant mathematical (textual) premises (?) | |2020-12-21| Deborah Mendes Ferreira | How to represent mathematical statements for the task of finding relevant mathematical (textual) premises (?) |
|2021-01-04| - | cancelled (too close to New Year) | |2021-01-04| - | cancelled (too close to New Year) |
|2021-01-18| ? | ? | |2021-01-18| ? | ? |
|2021-02-01| ? | ? | |2021-02-01| Takuto Asakura | Towards Grounding of Formulae |
|2021-02-15| ? | ? | |2021-02-15| ? | ? |
|2021-03-01| ? | ? | |2021-03-01| ? | ? |
|2021-03-15| ? | ? | |2021-03-15| ? | ? |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment