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…
28. aug. 2025, kl. 13.00-16.00 PhD defence - Li Quan Quality Bounds and Efficient Samplers for Data Availability Sampling
29. aug. 2025, kl. 13.00-16.00 PhD defence - Oksana Mykhalevych Data, Models, and Meaning: Advancing Structure-Function Insight in Carrageenan via PAT
