Tom de Jong
@de-jong-tom.mathstodon.xyz.ap.brid.gy
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
🌉 bridged from https://mathstodon.xyz/@de_Jong_Tom on the fediverse by https://fed.brid.gy/
The 2026 website for the annual autumn school Proof and Computation is now up at https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php
I'm excited to give a short course introducing homotopy type theory / univalent foundations, and look forward to participating in this very enjoyable school […]
I'm excited to give a short course introducing homotopy type theory / univalent foundations, and look forward to participating in this very enjoyable school […]
Original post on mathstodon.xyz
mathstodon.xyz
February 15, 2026 at 4:36 PM
The 2026 website for the annual autumn school Proof and Computation is now up at https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php
I'm excited to give a short course introducing homotopy type theory / univalent foundations, and look forward to participating in this very enjoyable school […]
I'm excited to give a short course introducing homotopy type theory / univalent foundations, and look forward to participating in this very enjoyable school […]
With apologies for the delay, the recordings of the talks at the Types and Topology Workshop in celebration of @MartinEscardo's 60th birthday (https://tdejong.com/mhe60) are now on YouTube (where available) 📺
https://www.youtube.com/@mhe60/videos (also linked from the workshop webpage)
Many […]
https://www.youtube.com/@mhe60/videos (also linked from the workshop webpage)
Many […]
Original post on mathstodon.xyz
mathstodon.xyz
February 13, 2026 at 8:33 PM
With apologies for the delay, the recordings of the talks at the Types and Topology Workshop in celebration of @MartinEscardo's 60th birthday (https://tdejong.com/mhe60) are now on YouTube (where available) 📺
https://www.youtube.com/@mhe60/videos (also linked from the workshop webpage)
Many […]
https://www.youtube.com/@mhe60/videos (also linked from the workshop webpage)
Many […]
Reposted by Tom de Jong
The arXiv's new "make everyone write in English to promote linguistic diversity" policy went into effect yesterday (https://blog.arxiv.org/2026/01/13/non-english-paper-submission-guidelines/), and they have now released a feedback survey […]
Original post on mathstodon.xyz
mathstodon.xyz
February 12, 2026 at 8:08 AM
The arXiv's new "make everyone write in English to promote linguistic diversity" policy went into effect yesterday (https://blog.arxiv.org/2026/01/13/non-english-paper-submission-guidelines/), and they have now released a feedback survey […]
RE: https://mathstodon.xyz/@de_Jong_Tom/115966213949890726
PSSL deadline for abstracts is *this Friday*.
#categorytheory
PSSL deadline for abstracts is *this Friday*.
#categorytheory
Together with @Stiephen and Simona Paoli, I'm organizing the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) in Nottingham on 28—29 March 2026.
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
Original post on mathstodon.xyz
mathstodon.xyz
February 3, 2026 at 2:33 PM
RE: https://mathstodon.xyz/@de_Jong_Tom/115966213949890726
PSSL deadline for abstracts is *this Friday*.
#categorytheory
PSSL deadline for abstracts is *this Friday*.
#categorytheory
Together with @Stiephen and Simona Paoli, I'm organizing the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) in Nottingham on 28—29 March 2026.
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
Original post on mathstodon.xyz
mathstodon.xyz
January 27, 2026 at 8:53 AM
Together with @Stiephen and Simona Paoli, I'm organizing the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) in Nottingham on 28—29 March 2026.
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
https://sites.google.com/view/pssl112/
Talks at PSSL cover all areas of #categorytheory and its applications.
If you'd like to contribute […]
Reposted by Tom de Jong
Giving University Exams in the Age of Chatbots
How I managed to give an exam while giving the students the choice to use a chatbot or not.
And what I learned in the process.
https://ploum.net/2026-01-19-exam-with-chatbots.html
How I managed to give an exam while giving the students the choice to use a chatbot or not.
And what I learned in the process.
https://ploum.net/2026-01-19-exam-with-chatbots.html
Giving University Exams in the Age of Chatbots
Giving University Exams in the Age of Chatbots par Ploum - Lionel Dricot.
ploum.net
January 19, 2026 at 6:50 PM
Giving University Exams in the Age of Chatbots
How I managed to give an exam while giving the students the choice to use a chatbot or not.
And what I learned in the process.
https://ploum.net/2026-01-19-exam-with-chatbots.html
How I managed to give an exam while giving the students the choice to use a chatbot or not.
And what I learned in the process.
https://ploum.net/2026-01-19-exam-with-chatbots.html
I'm pleased that my paper with @MartinEscardo on (counter)examples of injective types is out on arXiv: https://arxiv.org/abs/2601.12536.
This paper took a while to come together, partly because we refined the exposition a few times, partly because we kept coming up with new (counter)examples […]
This paper took a while to come together, partly because we refined the exposition a few times, partly because we kept coming up with new (counter)examples […]
Original post on mathstodon.xyz
mathstodon.xyz
January 21, 2026 at 10:48 AM
I'm pleased that my paper with @MartinEscardo on (counter)examples of injective types is out on arXiv: https://arxiv.org/abs/2601.12536.
This paper took a while to come together, partly because we refined the exposition a few times, partly because we kept coming up with new (counter)examples […]
This paper took a while to come together, partly because we refined the exposition a few times, partly because we kept coming up with new (counter)examples […]
RE: https://mathstodon.xyz/@de_Jong_Tom/115791137775475290
The new year starts off right! A few days ago I described my trouble with Microsoft's In-Place/Online Archive in the quoted post. I'm very happy that I can access my old emails through Thunderbird again thanks to DavMail and a nudge by […]
The new year starts off right! A few days ago I described my trouble with Microsoft's In-Place/Online Archive in the quoted post. I'm very happy that I can access my old emails through Thunderbird again thanks to DavMail and a nudge by […]
January 2, 2026 at 8:50 AM
RE: https://mathstodon.xyz/@de_Jong_Tom/115791137775475290
The new year starts off right! A few days ago I described my trouble with Microsoft's In-Place/Online Archive in the quoted post. I'm very happy that I can access my old emails through Thunderbird again thanks to DavMail and a nudge by […]
The new year starts off right! A few days ago I described my trouble with Microsoft's In-Place/Online Archive in the quoted post. I'm very happy that I can access my old emails through Thunderbird again thanks to DavMail and a nudge by […]
The University of Nottingham just enabled Outlook's archive feature:
To keep your mailbox lighter and faster, emails that are older than 90 days are automatically moved into an online archive. You will find your old emails in the following folder:
- In the Outlook app, the folder name is […]
To keep your mailbox lighter and faster, emails that are older than 90 days are automatically moved into an online archive. You will find your old emails in the following folder:
- In the Outlook app, the folder name is […]
Original post on mathstodon.xyz
mathstodon.xyz
December 27, 2025 at 10:49 AM
The University of Nottingham just enabled Outlook's archive feature:
To keep your mailbox lighter and faster, emails that are older than 90 days are automatically moved into an online archive. You will find your old emails in the following folder:
- In the Outlook app, the folder name is […]
To keep your mailbox lighter and faster, emails that are older than 90 days are automatically moved into an online archive. You will find your old emails in the following folder:
- In the Outlook app, the folder name is […]
The slides for Types and Topology (https://tdejong.com/mhe60) are all up on the website now (where available)!
@MartinEscardo
@MartinEscardo
Types and Topology: A workshop in honour of Martín Escardó's 60th birthday
tdejong.com
December 18, 2025 at 5:28 PM
The slides for Types and Topology (https://tdejong.com/mhe60) are all up on the website now (where available)!
@MartinEscardo
@MartinEscardo
I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!
A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture […]
A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture […]
Original post on mathstodon.xyz
mathstodon.xyz
December 11, 2025 at 4:16 PM
I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!
A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture […]
A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture […]
RE: https://mathstodon.xyz/@danielgratzer/115690461702005707
Argh, sorry. But maybe a useful reminder that paper rejections are common, even with good work by (multiple) established people!
Argh, sorry. But maybe a useful reminder that paper rejections are common, even with good work by (multiple) established people!
mathstodon.xyz
December 9, 2025 at 4:17 PM
RE: https://mathstodon.xyz/@danielgratzer/115690461702005707
Argh, sorry. But maybe a useful reminder that paper rejections are common, even with good work by (multiple) established people!
Argh, sorry. But maybe a useful reminder that paper rejections are common, even with good work by (multiple) established people!
Reposted by Tom de Jong
The Dutch Functional Programming Day 2026 (also known as the "FP Dag") will be in Nijmegen on Friday, 9 January 2026
https://fpday26.cs.ru.nl
https://fpday26.cs.ru.nl
Functional Programming Day 2026
fpday26.cs.ru.nl
December 4, 2025 at 10:29 AM
The Dutch Functional Programming Day 2026 (also known as the "FP Dag") will be in Nijmegen on Friday, 9 January 2026
https://fpday26.cs.ru.nl
https://fpday26.cs.ru.nl
Junk email:
"I came across your preprint titled "On Small Types in Univalent Foundations" [...]
Your manuscript aligns well with the following journal: Journal of Rare Cardiovascular Diseases"
These diseases must indeed be extremely rare if univalent foundations are relevant... 😂
"I came across your preprint titled "On Small Types in Univalent Foundations" [...]
Your manuscript aligns well with the following journal: Journal of Rare Cardiovascular Diseases"
These diseases must indeed be extremely rare if univalent foundations are relevant... 😂
December 3, 2025 at 2:25 PM
Junk email:
"I came across your preprint titled "On Small Types in Univalent Foundations" [...]
Your manuscript aligns well with the following journal: Journal of Rare Cardiovascular Diseases"
These diseases must indeed be extremely rare if univalent foundations are relevant... 😂
"I came across your preprint titled "On Small Types in Univalent Foundations" [...]
Your manuscript aligns well with the following journal: Journal of Rare Cardiovascular Diseases"
These diseases must indeed be extremely rare if univalent foundations are relevant... 😂
@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's diverse […]
https://tdejong.com/mhe60
The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse […]
Original post on mathstodon.xyz
mathstodon.xyz
October 24, 2025 at 3:26 PM
@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's diverse […]
https://tdejong.com/mhe60
The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse […]
The extended version of our LICS'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's TypeTopology repository.
https://arxiv.org/abs/2501.14542v5 […]
https://arxiv.org/abs/2501.14542v5 […]
Original post on mathstodon.xyz
mathstodon.xyz
October 22, 2025 at 2:30 PM
The extended version of our LICS'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's TypeTopology repository.
https://arxiv.org/abs/2501.14542v5 […]
https://arxiv.org/abs/2501.14542v5 […]
Reposted by Tom de Jong
Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/
Chateaubriand Fellowship
chateaubriand-fellowship.org
October 17, 2025 at 3:41 PM
Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/
Following the Heyting Day symposium held in honour of Jaap van Oosten, Benno van den Berg and I wrote a brief popular article on Jaap's life, his scientific work (categorical realizability) and his other contributions to academic life.
Jaap has done a great deal for mathematical logic in the […]
Jaap has done a great deal for mathematical logic in the […]
Original post on mathstodon.xyz
mathstodon.xyz
October 9, 2025 at 6:35 AM
Following the Heyting Day symposium held in honour of Jaap van Oosten, Benno van den Berg and I wrote a brief popular article on Jaap's life, his scientific work (categorical realizability) and his other contributions to academic life.
Jaap has done a great deal for mathematical logic in the […]
Jaap has done a great deal for mathematical logic in the […]
Back from holiday and just caught up on @jonmsterling's very interesting HoTTEST talk titled "Is it time for a new proof assistant?"
https://www.youtube.com/watch?v=7oBkEbKJvnE
#typetheory
https://www.youtube.com/watch?v=7oBkEbKJvnE
#typetheory
October 6, 2025 at 9:10 AM
Back from holiday and just caught up on @jonmsterling's very interesting HoTTEST talk titled "Is it time for a new proof assistant?"
https://www.youtube.com/watch?v=7oBkEbKJvnE
#typetheory
https://www.youtube.com/watch?v=7oBkEbKJvnE
#typetheory
Reposted by Tom de Jong
This week I gave a lecture series at the School on Logical Frameworks and Proof Systems Interoperability. I spoke about programming language techniques for proof assistants. The lecture slides and the reference implementations of a minimalist type theory are available at […]
Original post on mathstodon.xyz
mathstodon.xyz
September 12, 2025 at 2:11 PM
This week I gave a lecture series at the School on Logical Frameworks and Proof Systems Interoperability. I spoke about programming language techniques for proof assistants. The lecture slides and the reference implementations of a minimalist type theory are available at […]
I enjoyed talking about my expository paper (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) at this wonderful CIRM event this morning.
https://conferences.cirm-math.fr/3377.html
Thanks to Jacopo Emmenegger for the photo!
#typetheory #HomotopyTypeTheory #hott
https://conferences.cirm-math.fr/3377.html
Thanks to Jacopo Emmenegger for the photo!
#typetheory #HomotopyTypeTheory #hott
September 12, 2025 at 12:21 PM
I enjoyed talking about my expository paper (https://doi.org/10.4230/LIPIcs.TYPES.2024.1) at this wonderful CIRM event this morning.
https://conferences.cirm-math.fr/3377.html
Thanks to Jacopo Emmenegger for the photo!
#typetheory #HomotopyTypeTheory #hott
https://conferences.cirm-math.fr/3377.html
Thanks to Jacopo Emmenegger for the photo!
#typetheory #HomotopyTypeTheory #hott