From 81b2cce7d4d4aca1940b11c934ad1608843063da Mon Sep 17 00:00:00 2001 From: jfschaefer <jfschaefer@outlook.com> Date: Wed, 9 Dec 2020 10:11:07 +0100 Subject: [PATCH] Takuto's talk now in February --- seminar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/seminar.md b/seminar.md index 25484c0..933904a 100644 --- a/seminar.md +++ b/seminar.md @@ -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 (?) | |2021-01-04| - | cancelled (too close to New Year) | |2021-01-18| ? | ? | -|2021-02-01| ? | ? | +|2021-02-01| Takuto Asakura | Towards Grounding of Formulae | |2021-02-15| ? | ? | |2021-03-01| ? | ? | |2021-03-15| ? | ? | -- GitLab