BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37343066-6165-4339-b631-643832303537
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:65343037-3538-4966-b666-623864343432
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:65663330-6566-4030-b232-383833396562
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250417T081500Z
DTEND:20250417T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – AI Core Course Concepts/Admissible Pruning I: Partial-Ord
 er Reduction
END:VEVENT
BEGIN:VEVENT
UID:32613632-3436-4834-b534-323866353739
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:30313233-6434-4565-b439-363663373262
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36373061-3865-4361-a533-323335333763
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:65393261-3239-4931-b933-386330663132
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:38363761-3639-4962-b735-313766666664
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65626332-6438-4339-b237-623135323438
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:34316332-6263-4166-b437-386431396134
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61636332-3638-4036-b964-623361613866
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:32383336-3166-4634-a364-353132643836
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63396431-6231-4434-a661-346663663235
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:36346435-3063-4963-b563-666435656261
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250605T081500Z
DTEND:20250605T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Learning: Action Schema Networks/Policy Verificati
 on I: Basics
END:VEVENT
BEGIN:VEVENT
UID:38636239-3162-4630-b866-623732336330
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63613337-3237-4532-b032-333133623764
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:62633338-6266-4261-b537-623163653464
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64336434-3437-4665-b634-613263343133
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:32353161-3465-4033-a337-333265633138
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:34663331-3034-4665-a263-306635383166
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63613337-6463-4265-b563-656533383866
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:38376535-6330-4837-a237-303863623630
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63363365-6631-4666-a433-653036306561
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:64343437-3836-4035-b736-373161393161
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34333134-6462-4131-a266-373265303134
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Final Exam
END:VEVENT
BEGIN:VEVENT
UID:61393363-6563-4664-b339-613232393936
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:36313862-6663-4537-a332-643435653732
DTSTAMP:20260629T231147Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR