summaryrefslogtreecommitdiff
path: root/cv.tex
diff options
context:
space:
mode:
Diffstat (limited to 'cv.tex')
-rw-r--r--cv.tex9
1 files changed, 7 insertions, 2 deletions
diff --git a/cv.tex b/cv.tex
index b2930b7..bf95cf8 100644
--- a/cv.tex
+++ b/cv.tex
@@ -182,6 +182,10 @@ Interested in: \textit{formal category theory},
\ruletitle{Talks}
+ \entry{2019/04/02}{School and Workshop on Univalent
+ Mathematics}{University of Birmingham}{The univalence axiom, a
+ brief \& incomplete tour}
+
\entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins}
{Polynomial functors, a degree of generality}
@@ -219,8 +223,6 @@ Interested in: \textit{formal category theory},
{A monad is just \ldots (with an eye to universal
algebra)}
- \pagebreak
-
\ruletitle{Teaching Experience}
See my website for details.\vspace{1ex}
@@ -253,6 +255,8 @@ Interested in: \textit{formal category theory},
\ruletitle{Conferences Attended}
+ \datelistentry{2019}{School and Workshop on Univalent Mathematics}
+
\datelistentry{2018}{Vladimir Voevodsky\\Memorial Conference, IAS}
\datelistentry{2018}{Category Theory Octoberfest, CUNY}
@@ -301,4 +305,5 @@ Interested in: \textit{formal category theory},
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
+%%% TeX-engine: xetex
%%% End: