BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//XCS-4.2//Computer Science at UCY//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTART;TZID=Asia/Nicosia:20210310T101500
DTEND;TZID=Asia/Nicosia:20210310T111500
UID:603e37ea2e693
DTSTAMP:20210302T150442Z
LOCATION:https://ucy.zoom.us/meeting/register/tJEtdeiuqTkjHtVfACLjORRWMa3EMUEQG-Dk
DESCRIPTION:Colloquium: Formal Approaches to System Modelling and Verification
URL;VALUE=URI:http://www.cs.ucy.ac.cy/colloquium/index.php#cs.ucy.2021.philippou
SUMMARY:Colloquium: Dr. Anna Philippou
END:VEVENT
END:VCALENDAR