LOGML 2025
People
Speakers
Projects & Mentors
Policies
Schedule
Sponsors
Archives
Ulrike Tillmann
Isaac Newton Institute for Mathematical Sciences
website
