Tom de Jong

Talks

1. Formalization in HoTT: equivalences, 3-for-2 and definitional equality at the Trimester Program "Prospects of Formal Mathematics", Hausdorff Research Institute for Mathematics, 29 May 2024.
2. Epimorphisms and Acylic Types in Univalent Mathematics at the Logic and Semantics Seminar, University of Cambridge, 1 March 2024.
3. Set-Theoretic and Type-Theoretic Ordinals Coincide at the Faculty of Science Postdoctoral and Fellow Research Conference, Nottingham, 20 July 2023.
4. Set-Theoretic and Type-Theoretic Ordinals Coincide at LICS 2023, Boston, 29 June 2023.
5. On epimorphisms and acyclic types in univalent type theory at TYPES 2023, Valencia, 12 June 2023.
6. On epimorphisms and acyclic types in HoTT at Homotopy Type Theory 2023, Pittsburgh, 25 May 2023.
7. Relating ordinals in set theory to ordinals in type theory at Homotopy Type Theory 2023, Pittsburgh, 22 May 2023.
8. The set-theoretic and type-theoretic ordinals are the same at Type Theory, Constructive Mathematics and Geometric Logic, Luminy, France, 4 May 2023.
9. 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.
10. On acyclic types at the Seminar for foundations of mathematics and computer science, University of Ljubljana, 20 April 2023.
11. Epimorphisms and acylic types at Dutch Categories And Types Seminar, Utrecht, 3 March 2023.
12. Domain Theory in Constructive and Predicative Univalent Foundations at my PhD viva, Online, 20 December 2022.
13. Acyclic types and epimorphisms in HoTT at HoTTEST, Online, 17 November 2022.
    The talk was recorded and is available on YouTube.
14. 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.
15. 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.
16. Domain theory in constructive and predicative HoTT/UF at Yorkshire and Midlands Category Theory Seminar (YamCATS), Leeds, 12 May 2022.
17. 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.
18. Sharp Elements and the Scott Topology of Domains at MFPS 2021, Salzburg (hybrid), 2 September 2021.
19. 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.
20. 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.
21. 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.
22. Apartness for continuous dcpos (with notes) at BRAVO - Theory PhD students seminar, University of Birmingham, 9 November 2020.
23. 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.
24. Constructive domain theory in Univalent Foundations (with notes) at BCTCS 2020, Swansea (held virtually), 8 April 2020.
25. The Scott Model of PCF in Univalent Type Theory (with notes) at CCC 2019, Ljubljana, 5 September 2019.
    Please note that this 40-minute talk covers much more than the 15-minute talk (below) at TYPES.
26. The Scott Model of PCF in Univalent Type Theory (with notes) at TYPES 2019, Oslo, 11 June 2019.