20 May - 24 May 2024 Networking week: Proof logging and certifying algorithms During the week May 20-24 we will host a networking week dedicated to proof logging and certifying…
1 Sept. 2025, 13:00 PhD defence - Charalampos Tsekeridis Water dynamics and effect on wetting in Pickering Bubbles and Antibubbles
1 Sept. 2025, 15:15 PhD defence - Marina De Amicis Source-driven black hole relaxation: imprint of the two-body dynamics
3 Sept. 2025, 13:00-17:00 PhD defence - Nadja Ahrentløv Gut-derived Tachykinin regulates food choice, behavior, and lifespan in Drosophila
