20. maj - 24. maj 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…
16. dec. 2025, kl. 10.00 PhD defence - Dana Taylor Kamp Entropy production in non-equilibrium systems - Expanding around the steady state
16. dec. 2025, kl. 13.30 PhD defence - Antonia Karamolegkou Towards Trustworthy Language Models for Real-World Applications
16. dec. 2025, kl. 14.00 PhD defence - Ana-Iulia Hutu Design and timing: From scaling relations to oscillatory operation for the ammonia synthesis…
