28. marts 2025, kl. 12.00-13.00 Social Science Insights into Avian Influenza in Denmark Open online seminar with Rebecca Leigh Rutt, Department of Food and Resource Economics
28. marts 2025, kl. 14.15-15.15 COPLAS talk: Dmitriy Traytel: Binding-aware datatypes and inductive predicates in Isabelle/HOL On 28 March, COPLAS will host a talk by Dmitriy Traytel titled 'Binding-aware datatypes and…
