LOGML 2026
People
Speakers
Projects & Mentors
Policies
Archives
Call for Sponsors
Apply
Ulrike Tillmann
Isaac Newton Institute for Mathematical Sciences
website
