From 037ef9a5b5d5f5435636e2e97fa0e0fd0987c45a Mon Sep 17 00:00:00 2001
From: Katja Bercic <katja.bercic@gmail.com>
Date: Wed, 3 Jun 2020 09:51:42 +0200
Subject: [PATCH] Update mathdata.md

---
 courses/mathdata.md | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

diff --git a/courses/mathdata.md b/courses/mathdata.md
index 2d8fab0..2d20c4f 100644
--- a/courses/mathdata.md
+++ b/courses/mathdata.md
@@ -24,6 +24,25 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http:
 
 ### Upcoming seminars:
 
+##### Big Math and the One-Brain Barrier -- The Tetrapod Model of Mathematical Knowledge
+
+- *Time*: Friday, June 5, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
+- *Location*: online at Zoom ID: 939 0067 6059
+- *Speaker*: Michael Kohlhase (FAU)
+
+**Abstract.** In this talk I will  present an information model for doing mathematics, 
+which posits that humans very efficiently integrate five aspects of mathematics: 
+inference, computation, concretization, narration, and organization. 
+The challenge for mathematical software systems is to integrate these five aspects in the same way humans do.
+
+The Tetrapod model has cristallized out of almost two decades of work on 
+mathematical knowledge representation and permeates the work of the KWARC group. 
+The model is relevant to the MathDataHub effort as it will guide the further development 
+of the MathHub system (MathDataHub is seen as the concretization facet of MathHub).
+
+
+### Past seminars:
+
 ##### MathDataHub - your dataset, but FAIR
 
 - *Time*: Friday, May 22, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
@@ -35,9 +54,6 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http:
 It was developed by Katja Berčič, Michael Kohlhase, Florian Rabe, and Tom Wiesing. 
 In this talk I will give a basic introduction and overview of the system.
 
-
-### Past seminars:
-
 ##### An overview of mathematical data (Welcome to the seminar)
 
 - *Time*: Friday, May 8, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
-- 
GitLab