AHGT Video Series
The AHGT video series offers a selection of talks given by AHGT members or during AHGT events. Its goal is to present a balanced snapshot of, at the time, the latest progress in the field. For this reason, content is strongly contextualized in terms of date and audience (caveat emptor).
Formalising the (pro-)étale topology of a scheme (C. Merten)
On Oct 6, 2025 In Kyoto Japan
Event ``AHGT Seminar''
Program & participants
The Batyrev-Manin conjecture for stacks (T. Yasuda)
On Apr 7, 2025 In Kyoto Japan
Event ``AHGT Seminar''
Program & participants
What formalized mathematics is all about (A.Topaz)
On Dec 2, 2024 In Kyoto Japan
Event ``AHGT Seminar''
Program & participants
[slides of the Talk]
p-adic L-function survey + epsilon (T.Ochiai)
On Sep 2, 2024 In Kyoto Japan
Event ``AHGT Seminar''
Program & participants
Towards Uniform Finiteness Results on Heavenly Elliptic Curves (C.Rasmussen)
On Jun 3, 2024 In Kyoto Japan
Event ``AHGT Seminar''
Program & participants
Hilbert properties of varieties (A.Fehm)
On Feb 5, 2024 From Dresden Germany
Event ``AHGT Seminar''
Program & participants
[Corrected notes]
*Videos are the property of their speaker and are published with their explicit authorization. Share by using the link of the video title; Repost allowed only if mentioning date and event and linking to the AHGT page of the video.