Formalization of Anabelian Geometry
Arriving Sunday, May 25 and departing Saturday May 31, 2025
Confirmed Participants
| Name | Affiliation |
|---|---|
| Commelin, Johan | Utrecht University |
| Hoshi, Yuichiro | Kyoto University |
| Kato, Fumiharu | ZEN university |
| Kedlaya, Kiran | University of California San Diego |
| Topaz, Adam | University of Alberta |
