BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
PRODID::-//Obvius//NONSGML ICal//DA
BEGIN:VEVENT
UID:4380489@www.math.ku.dk
DESCRIPTION:Speakers: Adam Topaz\, Assistant Professor at the University 
 of Alberta\, and Kevin Buzzard\, Professor at Imperial College London.\n\
 nhttps://www.math.ku.dk/english/calendar/events/formalisation-of-mathemati
 cs/
SUMMARY:Masterclass: Formalisation of Mathematics
CATEGORIES:Symposium
LOCATION:Dept. of Mathematical Sciences\, Universitetsparken 5\, 2100 Cope
 nhagen
ORGANIZER:MATH\, Dagur Tomas Asgeirsson\, Boris Bolvig Kjær
DTSTART:20230625T220000Z
DTSTAMP:20230625T220000Z
DTEND:20230629T220000Z
END:VEVENT
END:VCALENDAR