From 2655506f059f2bdae36e7ed374d8fd2b012fa5d7 Mon Sep 17 00:00:00 2001
From: Guillaume Allais <guillaume.allais@ens-lyon.org>
Date: Fri, 12 Apr 2024 17:26:42 +0100
Subject: [PATCH] [ abstract ] for Vikraman's talk

---
 2024-strathclyde/index.md | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/2024-strathclyde/index.md b/2024-strathclyde/index.md
index e0972e8..6ee5fec 100644
--- a/2024-strathclyde/index.md
+++ b/2024-strathclyde/index.md
@@ -138,7 +138,17 @@ The interleaving is currently TBC.
 
 **Category Theory for Semantics**
 : **Lecturer:** [Vikraman Choudhury](https://vikraman.org/)
-: **Abstract:** *tbc*
+: <details>
+    <summary>Abstract</summary>
+      A programming language is a very exotic object: it provides a vocabulary
+      to give instructions to a computer, and at the same time, denotes a mathematical
+      object that follows axioms. The purpose of semantics is to reconcile the two
+      notions, giving insights into computation, language design, and programming.
+      In this course, I will introduce some tools and techniques from category
+      theory that are useful to semanticists, and show applications of these to
+      prove fundamental results about type theories and programming languages.
+  </details>
+
 </div>
 
 <div class="flex-element" markdown="1">