ICERM workshop Machine Computation in Homotopy Theory June 2026

This is a second announcement about an upcoming workshop at ICERM (Providence, Rhode Island, USA) during the week of 22-26 June 2026 on the topic of Machine Computation in Homotopy Theory. The application deadline is coming soon on March 13. The program will include presentations on highly customized current efforts at machine computation in homotopy theory. It will also include presentations on related topics from applied topology, number theory, and formalization. A significant portion of the workshop's schedule will be devoted to hands-on work in project groups. The structure and topics of the projects will be tuned towards the interests and skill levels of the expected participants. Be sure to bring your laptop. Here is a link to more information: https://icerm.brown.edu/program/topical_workshop/tw-26-mch Some funding is available for travel and local expenses for faculty, postdocs, graduate students, and industry scientists. Please apply by March 13 at the above link. Confirmed participants include: Benjamin Antieau (Northwestern University) Reid Barton (University of Pittsburgh) Eva Belmont (Case Western Reserve University) Andrew Blumberg (Columbia University) Hood Chatham (Cloudflare) Dan Isaksen (Wayne State University) Hana Kong (Zhejiang University) Achim Krause (University of Oslo) Weinan Lin (Fudan University) John Palmieri (University of Washington) David Roe (Massachusetts Institute of Technology) Danny Shi (University of Washington) Zhouli Xu (UCLA) Thanks,