Update mathdata.md

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)