From f9b247fb97391ff7b84574092c19fb2d87881493 Mon Sep 17 00:00:00 2001
From: dibiyu <105071245+dbyuksel@users.noreply.github.com>
Date: Mon, 25 Nov 2024 13:02:47 +0000
Subject: [PATCH] Fred's talk

---
 _101.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_101.json b/_101.json
index f5fdaf7..7c21ad6 100644
--- a/_101.json
+++ b/_101.json
@@ -30,8 +30,8 @@
     "speakerurl": "",
     "institute": "MSP",
     "insturl": "",
-    "title": "Theory of datatypes (containers/IR/QIITs)",
-    "abstract": "TBD",
+    "title": "Data type science: how to reason about classes of data types in type theory",
+    "abstract": "Different proof assistants and programming languages have different notions of data types. Sometimes this means that we can prove more theorem in one system compared to another, and sometimes it only means that one system is more convenient to use. How can we tell the difference? I'll give an introduction to how we can represent and reason about classes of data types in type theory, and I'll show some examples from the zoo of classes that have been considered.",
     "location": "LT210 and Online",
     "material":  []
   },