From 1a11f73b860cfe46b5c4a6e65df8c69548612903 Mon Sep 17 00:00:00 2001
From: tslil <>
Date: Wed, 4 Aug 2021 14:43:36 -0400
Subject: Updated

---
 cv.tex | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

(limited to 'cv.tex')

diff --git a/cv.tex b/cv.tex
index aae8345..9ded3e8 100644
--- a/cv.tex
+++ b/cv.tex
@@ -127,7 +127,7 @@
 % -----------------------------------------------------------------------------
 % Brief academic info
 % -----------------------------------------------------------------------------
-5\textsuperscript{th} year graduate at Johns Hopkins
+PhD candidate at JHU, expected graduation 2022
 
 Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl}
 
@@ -210,6 +210,10 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex}
 
+  \entry{Sept. 2021}{Category Theory 20$\to$21}{}{Representation presentation: to present a representative, 2-representative theorem}
+
+  \entry{2021/08/10}{Topos Institute}{}{Invitation to the next dimension: 2D doesn't mean double the work, only twice as much}
+
   \entry{2021/07/16}{Applied Cat. Theory 2021}{University of Cambridge}{Graphical Regular Logic: the complete 2D picture}
 
   \entry{2020/10/14}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{2-lessons from Australian Category Theory: Mates and Doctrinal Adjunction}
@@ -246,11 +250,12 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)}
 
-  \vfill\null
-  \columnbreak
-
   \ruletitle{Conferences Attended}
 
+  \datelistentry{2021}{CT 20$\to$21 online, Genoa}
+
+  \datelistentry{2021}{ACT 2021 online, Cambridge}
+
   \datelistentry{2019}{Category Theory Octoberfest, JHU}
 
   \datelistentry{2019}{Homotopy Type Theory, CMU}
@@ -275,6 +280,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \datelistentry{2017}{Category Theory 2017, UBC}
 
+  \columnbreak
+
   \ruletitle{Competencies}
 
   \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript,
@@ -283,8 +290,8 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
   \listentry{English (fluent), Hebrew (intermediate), Afrikaans
     (intermediate)}
 
-  \vfill\null
-  \columnbreak
+  % \vfill\null
+  % \columnbreak
 
   \ruletitle{Personal Pursuits}
 
-- 
cgit v1.3.1

