From 508d3e96a305445c8bbecadd701a96a3b272e6e6 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Wed, 17 Jul 2019 11:32:53 -0400
Subject: Update

---
 cv.tex | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

(limited to 'cv.tex')

diff --git a/cv.tex b/cv.tex
index bf95cf8..143e266 100644
--- a/cv.tex
+++ b/cv.tex
@@ -159,7 +159,8 @@ Interested in: \textit{formal category theory},
   \ruletitle{Notable Service}
 
   \entry{Ongoing}{Primary organiser} {2019 Category Theory
-    Octoberfest,\\Johns Hopkins}{}
+    Octoberfest {\setromanfont{Libre Baskerville}
+      \emph{(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
 
   \entry{Ongoing}{Co-organiser}{Directed Reading Program (DRP), Johns
     Hopkins}{Individual pairing of undergraduates with graduates for
@@ -182,6 +183,12 @@ Interested in: \textit{formal category theory},
 
   \ruletitle{Talks}
 
+  \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant
+    category theory, as modelled by globular $T$-categories}
+
+  \entry{2019/06/06}{HoTT-UF Project}{CAS Oslo}{What is proof relevant
+    category theory?}
+
   \entry{2019/04/02}{School and Workshop on Univalent
     Mathematics}{University of Birmingham}{The univalence axiom, a
     brief \& incomplete tour}
@@ -209,6 +216,8 @@ Interested in: \textit{formal category theory},
   \entry{2017/11/15}{Graduate Topics Course}{Johns Hopkins}
   {What do we mean when we say spectra?}
 
+  \pagebreak
+
   \entry{2017/11/30}{University Seminar}{George Washington Univ.}
   {An Intuitive Description of Toposes, Toposes as a Description
     of Intuitionism}
@@ -255,7 +264,16 @@ Interested in: \textit{formal category theory},
 
   \ruletitle{Conferences Attended}
 
-  \datelistentry{2019}{School and Workshop on Univalent Mathematics}
+  \datelistentry{2019}{Category Theory, Edinburgh}
+
+  \datelistentry{2019}{Types, Oslo}
+
+  \datelistentry{2019}{HoTT-UF Project, CAS Oslo}
+
+  \datelistentry{2019}{Summer School on Higher Topos Theory and
+    Univalent Foundations, Leeds}
+
+  \datelistentry{2019}{School and Workshop on Univalent Mathematics, Birmingham}
 
   \datelistentry{2018}{Vladimir Voevodsky\\Memorial Conference, IAS}
 
-- 
cgit v1.3.1

