BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30653163-6334-4430-b530-616331393936
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:34666235-3664-4234-a263-636139616336
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:63643339-6337-4537-b633-343235643561
DTSTAMP:20260929T002254Z
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:66613162-3364-4461-a364-346162393732
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:37393065-3031-4133-b432-376336653937
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66383663-6637-4438-a634-346364623262
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:62663131-6233-4463-b562-643435356564
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:33316133-6236-4865-b837-663635663165
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65356237-3964-4334-a162-613230336135
DTSTAMP:20260929T002254Z
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:34373064-6365-4836-a336-613566666330
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61303330-3733-4930-b938-333962663637
DTSTAMP:20260929T002254Z
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:33623663-6537-4436-a230-316334373262
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61363533-3633-4435-b736-333436613531
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:65643337-3263-4261-a664-633262633735
DTSTAMP:20260929T002254Z
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:32653030-3637-4462-b331-626665336134
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65383531-3566-4130-a636-616665306565
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:34643337-3334-4132-b464-356431336563
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37626664-3130-4933-b136-316364656631
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:34323863-3164-4538-b064-356464303039
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:36666564-3038-4036-b832-376163383638
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31343562-6532-4933-b564-313662313261
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:37316330-3865-4338-a165-306337323032
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38663064-3062-4461-b638-616634323537
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:62373530-6336-4738-b432-383562323733
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66663737-3732-4938-b739-663161633634
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Taip25: Final Exam
END:VEVENT
BEGIN:VEVENT
UID:37343239-3339-4737-b535-393231373935
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Taip25: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:65313132-3832-4234-a235-306436656639
DTSTAMP:20260929T002254Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Taip25: Re-Exam
END:VEVENT
END:VCALENDAR