There will be two lecture series: one on condensed mathematics, which is a new approach to topology, and one on computer proof assistants. These two strands come together in the computer verification for the main theorem of liquid vector spaces. The teachers will be Johan M. Commelin (Freiburg) and Lucas Mann (Bonn).

This meeting is a part of the series of September Algebraic Geometry Schools, organized by the Algebraic Geometry research group from Warsaw. The school will take place in the Conference Center in Bedlewo. The financial support for the school is provided by Banach Center, the NCN-DFG joint reseach project ATAG, and the University of Warsaw.