>>838
>Promenade in Inter-Universal Teichmüller Theory
IUT関連の講演は望月さん以外だと5人がしてるね

Emmanuel Lepage (Sorbonne University)
　The logical structure of IUT (tentative)
Wojciech Porowski (RIMS, Kyoto University)
　Explicit estimates in IUT
James Douglas Boyd (University of Western Ontario)
　Inter-Universal Geometry: Some Shared Themes with Univalent Foundations
Arata Minamide, Go Yamashita (RIMS, Kyoto University)
　On the essential logical structure of inter-universal Teichm¨uller theory I〜VI
Yuichiro Hoshi (RIMS, Kyoto University)
　On the Galois Orbit Version of Inter-universal Teichm¨uller Theory I, II

主に数理研の人だけど
Sorbonne大とWestern Ontario大の人もいるのか
この人達はscholzeさんの指摘に対してはどういうスタンスなんだろ？