December 7
8:30-9:00 Registration
9:00-9:20 Ivan Fesenko Welcome and foreword
9:20-10:10 Shou-Wu Zhang A proof of geometric Szpiro inequality inspired by Bogomolov
10:40-11:40 Ulf Kuehn Noncritical Belyi maps and their application in arithmetic elliptic curves in general position
13:30-14:30 Ariyan Javanpeykar Reducing the conjectures to one theorem of IUT, sect. 1-2 of [IUT-IV] without proof of Th 1.10 of [IUT-IV]
15:00-16:00 Yuichiro Hoshi An approximate statement of the main theorem of IUT
16:15-17:15 Yuichiro Hoshi Mono-anabelian transport
17:20-18:00 Discussions
December 8
9:00-11:00 Questions and answers
11:30-12:30 Fucheng Tan Absolute anabelian geometry, [TAAG-I-II]
13:50-14:50 Fucheng Tan Absolute anabelian geometry, [TAAG-I-II]
15:20-16:20 Jakob Stix Reconstruction of fields using Belyi cuspidalization, sect.1 of [TAAG-III]
16:35-17:35 Lars Kuehne Archimedean aspects of absolute anabelian geometry, [TAAG-III]
17:35-18:00 Discussions
December 9
9:00-9:45 Oren Ben-Bassat Frobenioids
10:00-10:45 Weronika Czerniawska Frobenioids
11:15-12:15 Tamas Szamuely Geometry and semi-graphs of anabelioids
14:10-15:10 Emmanuel Lepage Tempered fundamental group of semi-graphs of anabelioids, sect. 2 of [IUT-I]
15:35-16:35 Robert Kucharczyk On Hodge-Arakelov theory
16:45-17:45 Kiran Kedlaya Etale theta function
17:45-18:00 Discussions
December 10
9:00-10:00 Kiran Kedlaya Etale theta function
10:15-11:15 Chung Pang Mok IUT, [IUT-I]
11:45-12:45 Chung Pang Mok IUT, [IUT-I]
13:50-14:50 Chung Pang Mok IUT, [IUT-I] and sect.1 of [IUT-II]
15:20-16:20 Yuichiro Hoshi Hodge-Arakelov-theoretic evaluation, sect. 2-4 of [IUT-II]
16:35-17:35 Yuichiro Hoshi Hodge-Arakelov-theoretic evaluation, sect. 2-4 of [IUT-II]
17:35-18:00 Discussions
December 11
9:00-10:00 Go Yamashita IUT, [IUT-III]
10:15-11:15 Go Yamashita IUT, [IUT-III]
11:45-12:45 Go Yamashita IUT, [IUT-III]
13:40-15:40 Questions and answers
16:10-17:10 Go Yamashita IUT,[IUT-III] and sect. 1 of [IUT-IV], with some remarks on the language of species, sect. 3 of [IUT-IV]
17:10-17:30 Ivan Fesenko Summary and what's next
[TAAG] Sh. Mochizuki, Topics in absolute anabelian geometry I: Generalities, J. Math. Sci. Univ. Tokyo 19 (2012), 139–242;
II: Decomposition groups and endomorphisms, J. Math. Sci. Univ. Tokyo 20 (2013), 171–269;
III: Global reconstruction algorithms, J. Math. Sci. Univ. Tokyo 22 (2015), 1–218,
available with comments from http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html
[IUT] Sh. Mochizuki, Inter-universal Teichmüller theory I: Constructions of Hodge theaters, preprint 2012–2015,
II: Hodge-Arakelov-theoretic evaluation, preprint 2012–2015;
III: Canonical splittings of the log-theta-lattice, preprint 2012–2015;
IV: Log-volume computations and set-theoretic foundations, preprint 2012–2015,
available from http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html