Graduate students run a graduate reading group where they present and discuss their ongoing research.
In academic year 2024/2025, the convenors of the GRG are Margherita Grassi and Lucia González Arias.
GRG Plenary meeting
26 September 2024
17:00, Hybrid
From No-Drop to Drop: Strengthening the Case for Deductive Risk
Vinicius Felipe Posselt (Pontifical Catholic University of Rio Grande do Sul, Brazil)
10 October 2024
16:00, Hybrid
Mathematical knowledge in formal proof assistants: beyond verification? (A work in progress)
Elena Menta Oliva (U. Barcelona)
24 October 2024
16:00, Hybrid
07 November 2024
16:00, Hybrid
21 November 2024
16:00, Hybrid
05 December 2024
16:00, Hybrid
12 December 2024
16:00, Hybrid
19 December 2024
16:00, Hybrid
23 January 2025
16:00, Hybrid
06 February 2025
16:00, Hybrid
20 February 2025
16:00, Hybrid
08 May 2025
16:00, Hybrid