Updating

2 files changed, 16 insertions, 7 deletions

diff --git a/cv.pdf b/cv.pdf
index cd53d16..9337475 100644
--- a/cv.pdf
+++ b/cv.pdf
diff --git a/cv.tex b/cv.tex
index 519733e..2d8386e 100644
--- a/cv.tex
+++ b/cv.tex
@@ -111,7 +111,7 @@
   \begin{tabular}{l}
     \email{tslil@jhu.edu} \\
     \href{http://math.jhu.edu}{math.jhu.edu/{\textasciitilde}tclingm1} \\
-    {201 Krieger Hall, 3400 N. Charles St.} \\
+    {200 Krieger Hall, 3400 N. Charles St.} \\
     Baltimore, MD 21218
   \end{tabular}
 }\vspace{-3ex}
@@ -158,7 +158,7 @@ Interested in: \textit{formal category theory},
 
   \ruletitle{Notable Service}
 
-  \entry{Ongoing}{Primary organiser} {2019 Category Theory
+  \entry{2019}{Primary organiser}{2019 Category Theory
     Octoberfest {\setromanfont{Libre Baskerville}
       \emph{(\href{https://ct-octoberfest.github.io}{website})}},\\Johns Hopkins}{}
 
@@ -183,6 +183,10 @@ Interested in: \textit{formal category theory},
 
   \ruletitle{Talks}
 
+  \entry{2019 Fall}{Category Theory Seminar}{Johns Hopkins}
+  {Induction \& construction: the pointless theory of localic topox;\\
+  Within and not without: an apology for internal languages (2 parts)}
+
   \entry{2019/06/15}{Types 2019}{Oslo}{Towards proof relevant
     category theory, as modelled by globular $T$-categories}
 
@@ -216,8 +220,6 @@ 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}
@@ -236,12 +238,12 @@ Interested in: \textit{formal category theory},
 
   See my website for details.\vspace{1ex}
 
+  \entry{Fall 2018/19}{Head T.A. \& \\ WeBWorK administrator}{Johns
+    Hopkins} {Calculus III and online homework system}
+
   \entry{Spring 2019}{Course development assistant}{Johns Hopkins}
   {Introduction to Proofs}
 
-  \entry{Fall 2018}{Head T.A. \& \\ WeBWorK administrator}{Johns Hopkins}
-  {Calculus III and online homework system}
-
   \entry{Fall 2017}{Sole Instructor}{Johns Hopkins}
   {Introduction to Calculus}
 
@@ -264,6 +266,13 @@ Interested in: \textit{formal category theory},
 
   \ruletitle{Conferences Attended}
 
+  \datelistentry{2020}{Programme Associate, Higher Categories and
+    Categorification, MSRI}
+
+  \datelistentry{2019}{Category Theory Octoberfest, JHU}
+
+  \datelistentry{2019}{Homotopy Type Theory, CMU}
+
   \datelistentry{2019}{Category Theory, Edinburgh}
 
   \datelistentry{2019}{Types, Oslo}