Tom de Jong
About
Writings
Talks
Teaching
Misc.
Contact
Talks

Formalization in HoTT:
equivalences, 3for2 and definitional equality at
the Trimester
Program "Prospects of Formal Mathematics", Hausdorff Research Institute
for Mathematics, 29 May 2024.

Epimorphisms and Acylic Types in
Univalent Mathematics at
the Logic and
Semantics Seminar, University of Cambridge, 1 March 2024.

SetTheoretic and TypeTheoretic Ordinals
Coincide at
the Faculty
of Science Postdoctoral and Fellow Research Conference, Nottingham,
20 July 2023.

SetTheoretic and TypeTheoretic Ordinals
Coincide at LICS 2023,
Boston, 29 June 2023.

On epimorphisms and acyclic types in
univalent type theory at TYPES
2023, Valencia, 12 June 2023.

On epimorphisms and acyclic types in HoTT
at Homotopy Type Theory
2023, Pittsburgh, 25 May 2023.

Relating ordinals in set theory to ordinals in
type theory at Homotopy Type
Theory 2023, Pittsburgh, 22 May 2023.

The settheoretic and typetheoretic ordinals are the same at
Type Theory,
Constructive Mathematics and Geometric Logic, Luminy, France,
4 May 2023.

Relating ordinals in set theory to ordinals
in type theory at HoTT/UF
Workshop 2023, Vienna, 22 April 2023.
This talk was recorded and is available on
YouTube.

On acyclic types at the
Seminar for foundations of mathematics and computer science,
University of Ljubljana, 20 April 2023.

Epimorphisms and acylic types
at Dutch Categories And Types Seminar,
Utrecht, 3 March 2023.

Domain Theory in Constructive and
Predicative Univalent Foundations at my PhD viva, Online,
20 December 2022.

Acyclic types and epimorphisms in
HoTT
at HoTTEST,
Online, 17 November 2022.
The talk was recorded and is available
on YouTube.

Acyclic types and epimorphisms in
homotopy type theory at
the Theoretical Computer
Science seminar, University of Birmingham, 21 October 2022.
George Kaye made this
funny webpage
to mark the occasion.

Domain theory in constructive and predicative HoTT/UF at the
Seminar for foundations of mathematics and theoretical computer science,
University of Ljubljana, 2 July 2022.

Domain theory in constructive and predicative HoTT/UF at
Yorkshire and Midlands Category Theory Seminar (YamCATS),
Leeds, 12 May 2022.

Order Theory and Propositional Resizing
in HoTT/UF at
HoTTEST
Event for Junior Researchers 2022, Online, 13 January 2022.
This talk was recorded and is available
on YouTube.

Sharp Elements and the Scott Topology
of Domains at
MFPS 2021,
Salzburg (hybrid), 2 September 2021.

Predicative Aspects of Order Theory in
Univalent Foundations at
FSCD 2021,
Buenos Aires (held virtually), 22 July 2021.
This talk was recorded and is available on
YouTube.

Predicative Aspects of Order Theory in
Univalent Foundations at
CATS,
Institute for Logic, Language and Computation (ILLC) of the University of
Amsterdam (online), 16 March 2021.

Domain Theory in Constructive and Predicative
Univalent Foundations at
CSL 2021,
Ljubljana (held virtually), 27 January 2021.
This talk was recorded and is available on
YouTube.

Apartness for continuous dcpos
(with notes) at
BRAVO  Theory
PhD students seminar,
University of Birmingham, 9 November 2020.

Domain theory in predicative Univalent Foundations
(with notes) at
HoTT/UF Workshop 2020,
Online, 7 July 2020.
This talk was recorded and is available on
YouTube.

Constructive domain theory in Univalent
Foundations (with notes) at
BCTCS 2020,
Swansea (held virtually), 8 April 2020.

The Scott Model of PCF in Univalent
Type Theory (with notes) at
CCC 2019,
Ljubljana, 5 September 2019.
Please note that this 40minute talk covers much more than the
15minute talk (below) at TYPES.

The Scott Model of PCF in
Univalent Type Theory (with notes) at
TYPES 2019, Oslo,
11 June 2019.
Last modified on 20240531.