From faeb9261685cef1414f7539b7cd59b08ca572908 Mon Sep 17 00:00:00 2001
From: tslil <>
Date: Wed, 1 Dec 2021 12:15:12 -0500
Subject: Stripped out talks

---
 industry_cv.tex | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)

(limited to 'industry_cv.tex')

diff --git a/industry_cv.tex b/industry_cv.tex
index f1a661c..9a538c3 100644
--- a/industry_cv.tex
+++ b/industry_cv.tex
@@ -226,54 +226,6 @@ Supervised by \href{http://www.math.jhu.edu/~eriehl/}{Emily Riehl}
 
   \entry{2011 \& 2012}{Organiser}{Haskell Programming Course, University of Cape Town} {Organised and gave a free and open Haskell language programming course}
 
-  \ruletitle{Talks}
-
-  See my \href{https://tslil.xyz}{website} for slides.\vspace{1ex}
-
-  \entry{2021/11/11}{UVA Topology Seminar}{}{Structures for witnessed composition, an approach to higher categories}
-
-  \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}
-
-  \entry{2020/09/11}{Category Theory Seminar}{Johns Hopkins (online, open to public)}{BI DOUBLing categories we'll see/ MULTIple morphisms acting weakly/ Two out of the four/ Have laws rather poor/ But the last is coherent VIRTUALLY!}
-
-  \entry{2019/11/05}{Category Theory Seminar}{Johns Hopkins}{Within and not without: an apology for internal languages (2 parts)}
-
-  \entry{2019/09/17}{Category Theory Seminar}{Johns Hopkins}{Induction \& construction: the pointless theory of localic topox}
-
-  \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}
-
-  \entry{2019/02/19}{Category Theory Seminar}{Johns Hopkins} {Polynomial functors, a degree of generality}
-
-  \entry{2019/02/10}{Johns Hopkins Mathematics Tournament}{}{``Fractions: ratio of two integers or universal machine?'', audience of high-school students}
-
-  \entry{2018/11/30}{University Seminar}{George Washington Univ.}{Homotopy Type Theory, the confluence of logic and space}
-
-  \entry{2018/11/08}{Category Theory Seminar}{Johns Hopkins}{What is an LCC?}
-
-  \entry{2018/09/20}{Oral Speciality Exam}{Johns Hopkins}{Type Theory and Categories, the unbearable likeness of being}
-
-  \entry{2017/12/05}{Graduate Topics Course}{Johns Hopkins}{`Rings Modules and Algebras in Infinite Loop Space Theory' at a glance}
-
-  \entry{2017/11/15}{Graduate Topics Course}{Johns Hopkins}{What do we mean when we say spectra?}
-
-  \entry{2017/11/30}{University Seminar}{George Washington Univ.}{An Intuitive Description of Toposes, Toposes as a Description of Intuitionism}
-
-  \entry{2017/10/12}{Category Theory Seminar}{Johns Hopkins}{All good things must come to an end}
-
-  \entry{2017/04/09}{Graduate Topics Course}{Johns Hopkins}{The Calculus of Fractions and Homotopy Theory}
-
-  \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)}
-
   \ruletitle{Competencies}
 
   \listentry{Comfortable in C and Haskell, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, \LaTeX, Python, Rust, and Zig}
-- 
cgit v1.3.1

