Logic List Mailing Archive

CfR: Workshop for Martín Escardó's 60th, 17-18 Dec, Hybrid: Birmingham (UK) + Online

Dear all,

In celebration of Martn 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 Martn'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.dejong@nottingham.ac.uk) Eric Finster (e.l.finster@bham.ac.uk)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php