BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37356431-3631-4339-b065-333536656137
X-WR-CALNAME:Trusted AI Planning Calendar
X-WR-CALDESC:Events of the lecture Trusted AI Planning
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:36623166-3832-4965-a366-646137346265
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:36386261-6636-4636-a139-623439303766
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250417T081500Z
DTEND:20250417T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – AI Core Course Concepts/Admissible Pruning I: Par
 tial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:36633061-6464-4235-b031-613866313935
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:38623338-3331-4030-b964-346465343337
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38616638-6138-4462-b930-656361323666
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:37356633-6436-4362-b862-626131656233
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:61373737-3531-4362-a262-643335353432
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34613534-3331-4139-b261-376435643533
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning/Planning
  as SAT
END:VEVENT
BEGIN:VEVENT
UID:66306662-3838-4237-a463-363034343265
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38363065-3037-4263-b061-633462386234
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Planning as SAT/Policy Learning: Action Schema Ne
 tworks
END:VEVENT
BEGIN:VEVENT
UID:66366237-6563-4132-b437-643162363439
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36363836-3731-4062-b066-353039323566
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:63373337-3665-4835-a563-396532386665
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250605T081500Z
DTEND:20250605T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Learning: Action Schema Networks/Policy Ve
 rification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:30646432-6430-4066-b166-303731643063
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62316134-6334-4737-b632-613361343661
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:64616236-3236-4036-a434-653939666665
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30323730-3432-4265-b732-623763333831
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:39383334-6236-4838-a662-356239383364
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:39363865-3262-4934-a534-306639616166
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36323132-3638-4964-b934-623133343337
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:61383366-6335-4432-a231-363533653165
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33623037-3638-4135-b534-343464666337
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:38396231-3437-4035-b231-623465353666
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35356637-3530-4535-a466-353838373164
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Taip25: Final Exam
END:VEVENT
BEGIN:VEVENT
UID:39393030-3836-4138-a666-633361386631
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Taip25: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:30303366-6636-4862-a635-623438623532
DTSTAMP:20261019T235914Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Taip25: Re-Exam
END:VEVENT
END:VCALENDAR