10 November 2026
Mariami Gamsakhurdia (Vienna University of Technology) will give a talk on "Demystifying Hilbert’s Epsilon Calculus".
Read moreMariami Gamsakhurdia (Vienna University of Technology) will give a talk on "Demystifying Hilbert’s Epsilon Calculus".
Read moreAlessandro Gianola (Universidade de Lisboa) will give a talk on "TBA".
Read moreMarco Abbadini (Université Catholique de Louvain) will give a talk on "A topos for étale-finite Heyting algebras".
Read moreWesley Fussner (Czech Academy of Sciences) will give a talk on "TBA".
Read more