22. april - 31. dec. 2024 Find fødselsdagsflag i Botanisk Have Vi har sat fødselsdagsflag rundt omkring i Botanisk Have og Palmehuset ved de planter, der har være…
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…
