Martín Escardó,
professor in Theoretical Computer Science at the University of Birmingham,
will turn 60 in November 2025. We are organizing a workshop to celebrate
this occasion as well as Martín's diverse contributions to
constructive mathematics, domain theory, locale theory, logic, topology and
homotopy/univalent type theory.
The workshop will take place in Birmingham on 17 and 18 December
2025 and is co-located with the MGS Christmas Seminar on 16
December 2025.
There will be a Zoom livestream. More details about the venue, scheduling
and speakers are to follow.
Organizers
Registration
Attendance is free, but please register before
21 November
2025 by
completing
this form.
Invited speakers (subject to confirmation)
- Alex Simpson (University
of Ljubljana, Slovenia)
- Andrej Bauer (University of
Ljubljana, Slovenia)
- Andrew Swan (University of
Ljubljana, Slovenia)*
- Chuangjie Xu (Indepent
researcher, Germany)
- Dag
Normann (University of Oslo, Norway)*
- Dan Christensen (University of
Western Ontario, Canada)*
- Fredrik Nordvall Forsberg
(University of Strathclyde, UK)
- Hajime Ishihara (Japan
Advanced Institute of Science and Technology, Japan)*
- Ho Weng
Kin (Nanyang Technological University, Singapore)*
- Jon Sterling (University of
Cambridge, UK)
- Maria Emilia Maietti
(University of Padua, Italy)
- Nicolai Kraus
(University of Nottingham, UK)
- Paulo Oliva (Queen Mary
University of London, UK)
- Peter Dybjer
(Chalmers University of Technology, Sweden)
- Peter
Schuster (University of Verona, Italy)
- Steve Vickers (University of
Birmingham, UK)
- Thierry Coquand
(University of Gothenburg, Sweden)*
- Thomas Powell (University of
Bath, UK)
- Thorsten Altenkirch
(University of Nottingham, UK)
- Ulrich Berger (Swansea University, UK)
- Ulrik Buchholtz (University of
Nottingham, UK)
* = remote presentation
Local information
For information on travel and accomodation, we kindly refer you to
the
local information page
for FSCD 2025 which was also held in Birmingham.
