Created in September 20, 2025
2025
I participated in Autumn school “Proof and Computation”, Herrsching (Germany), 14-20 September 2025.