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…
23 May - 24 May 2024 Symposium: Crossroads in Metabolism: Tales from Talents & Trailblazers Royal Danish Academy of Science and Letters, Copenhagen, Denmark (H.C. Andersens Boulevard 35, 1553…
24 May 2024, 12:00-13:00 Fish Stock Status and Stock Reference Points in the Global South Open online seminar with Kira Lancker, Department of Food and Resource Economics, University of…
11 Nov. 2025, 9:00 PhD defence - Axel Kjeld Fjelrad Christfort Declarative Process Mining: Advancements in Process Mining for DCR Graphs
11 Nov. 2025, 9:00 PhD defence - Xiaoxiao Duan Transcriptional regulation of middle/late genes in the archaeal virus SIRV2.
11 Nov. 2025, 14:00 PhD defence - Aslak Emil Lyster Protein Restriction and Metabolic Regulation in Humans