Tom de Jong

de_Jong_Tom@mathstodon.xyz

<p>Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.</p>

Posts

Post #2464985
RE: https://mathstodon.xyz/@de_Jong_Tom/116435680670519184 Just over two weeks before early registration ends (31 May)!
Post #2374287
On my way to Gothenburg for #TYPES. Please come and say hi!
Post #2334011
#TYPES 2026 is done! The slides for my talk are here: https://tdejong.com/talks/TYPES-2026.pdf. Joint work with @ljungstrom and @Nicolai_Kraus.
Post #2334005
As usual, I was reading this weekend&#39;s De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica&#39;s column 🙂 (Minor correction to the column: Jon isn&#39;t British.)
Post #2049500
RE: https://social.edu.nl/@jaror/116453690304244892 Quoting/Boosting for reach.
Post #1868054
Thanks to our speakers and @Stiephen all the slides for PSSL 112 are now available on the PSSL website! https://sites.google.com/view/pssl112/program #CategoryTheory #Logic
Post #1475621
The 37th European Summer School in Logic, Language and Information (ESSLLI 2026) will take place on 3-14 August in Prague. https://2026.esslli.eu I&#39;m excited that I&#39;ll be teaching an introductory course on univalent foundations / homotopy type theory! @stringdiagram and @jaklt will also be running an interesting workshop titled &quot;Semantics and compositionality for expressiveness and complexity&quot;. Early registration closes on 31st May.
Post #1421414
At 9.50 today, I&#39;m giving a talk on constructive domain theory at the Formal Topology Workshop in Venice. Feat. a shoutout to @nmvdw and @dif for their nice paper &quot;The Interval Domain in Homotopy Type Theory&quot;. It should be livestreamed: https://youtube.com/@wires0/streams [Update: it seems the recording of my talk failed.] Slides: https://tdejong.com/talks/7WFTop.pdf
Post #1330077
I&#39;m pleased, especially for our PhD student @aref_mz, that our paper &quot;Generalized Decidability via Brouwer Trees&quot; (https://arxiv.org/abs/2602.10844) with @aref_mz, @Nicolai_Kraus and @fnf was accepted to LICS&#39;26. #Agda was very useful for developing this work. Huge thanks to its maintainers! My commiserations to those who submitted good work but didn&#39;t get in. I hope we can all escape this system one day.
Post #968748
The extended version of our LICS&#39;25 paper, titled Constructive Ordinal Exponentiation, is now on arXiv. It has two new sections (Section 6 and 8) on ordinal arithmetic. Everything is formalized in Agda and merged into @MartinEscardo&#39;s TypeTopology repository. https://arxiv.org/abs/2501.14542v5 This joint work with @fnf, @Nicolai_Kraus and Chuangjie Xu. #TypeTheory #logic #Agda
Post #968746
@MartinEscardo is turning 60 this year! In celebration, Eric Finster and I are organizing a two-day workshop on 17-18 December 2025 at the University of Birmingham. https://tdejong.com/mhe60 The full list of over 20 invited speakers can be found on the website and reflects Martín&#39;s diverse contributions to constructive mathematics, domain theory, locale theory, logic, topology and homotopy/univalent type theory. The workshop is co-located with the Midlands Graduate School (MGS) Christm...
Post #952392
The slides for Types and Topology (https://tdejong.com/mhe60) are all up on the website now (where available)! @MartinEscardo