BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33356633-6562-4734-a563-373236626335
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:62663966-3339-4530-b362-313738666630
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:37353635-6363-4837-b265-633866623938
DTSTAMP:20260730T073136Z
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:31353064-3734-4634-b735-363766636337
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:33646637-6137-4466-a339-653930353835
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35333432-3463-4962-a563-643364346131
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:37613039-6337-4061-b737-663631366165
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:31343265-3466-4033-b031-336333363830
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33346162-6564-4238-b236-396430613262
DTSTAMP:20260730T073136Z
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:33333537-6533-4735-a134-353664303139
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33653435-6238-4335-b261-333261363533
DTSTAMP:20260730T073136Z
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:39376134-3961-4666-b261-616161333364
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66363739-6662-4432-a330-356136353865
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:62613661-3530-4337-a364-376637363066
DTSTAMP:20260730T073136Z
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:31306463-3430-4037-a339-643739383538
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32313837-3838-4432-a131-666562343934
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:33326339-6366-4330-b664-303562333064
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64303666-3837-4133-b833-316331613566
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:62656431-3731-4365-b530-393034313937
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:30653866-6339-4166-b765-326462333639
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39323830-3331-4265-b535-656163376331
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:35333135-6230-4466-b838-646630643235
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37383330-3364-4662-b732-643035326235
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:36643966-3339-4336-a339-363639373961
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34393339-3437-4439-a331-313235666465
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Taip25: Final Exam
END:VEVENT
BEGIN:VEVENT
UID:62333538-6436-4734-b731-363033353766
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Taip25: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:38383763-3635-4639-a639-626132633263
DTSTAMP:20260730T073136Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Taip25: Re-Exam
END:VEVENT
END:VCALENDAR