Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec
6 views
Skip to first unread message
Tom de Jong
Oct 24, 2025, 5:11:12 AM (2 days ago) Oct 24
to types-a...@lists.seas.upenn.edu, categ...@mq.edu.au, construc...@googlegroups.com, homotopyt...@googlegroups.com, ag...@lists.chalmers.se, logic...@outlook.com, univalent-...@googlegroups.com
Dear all,
In celebration of Martín Escardó's 60th birthday this year, we are
pleased to announce 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 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)
Christmas Seminar on 16 December 2025 and will support remote participation.
If you would like to attend (in person or remotely), please register by
*21 November 2025* by completing this form:
https://forms.cloud.microsoft/e/4GgaZHTxad
We hope to see many of you there,
Tom de Jong (tom.d...@nottingham.ac.uk)
Eric Finster (e.l.f...@bham.ac.uk)
In celebration of Martín Escardó's 60th birthday this year, we are
pleased to announce 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 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)
Christmas Seminar on 16 December 2025 and will support remote participation.
If you would like to attend (in person or remotely), please register by
*21 November 2025* by completing this form:
https://forms.cloud.microsoft/e/4GgaZHTxad
We hope to see many of you there,
Tom de Jong (tom.d...@nottingham.ac.uk)
Eric Finster (e.l.f...@bham.ac.uk)
Reply all
Reply to author
Forward
0 new messages