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