BEGIN:VCALENDAR
VERSION:2.0
PRODID:ics.py - http://git.io/lLljaA
BEGIN:VEVENT
DESCRIPTION:Title: Computer aided verification of existing P-NP proof attempts\nLecturer: Iva Gutić\nAffiliation: Universität Klagenfurt\nAbstract: https://www.math.aau.at/talks/98/pdf\nPresentation about the Workplacement\nDepartment of Mathematics\nHost: Stefan Rass\n
DTEND:20211216T083000Z
LOCATION:https://classroom.aau.at/math-stat
DTSTART:20211216T080000Z
SUMMARY:Talk: Gutić
UID:talk_98@math.aau.at
URL:https://www.math.aau.at/talks/98/pdf
END:VEVENT
END:VCALENDAR