BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.71//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30643534-3338-4132-b161-613363313166
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:36303866-6638-4134-b131-323334306430
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:39656263-6638-4964-a132-313237373437
DTSTAMP:20260408T235506Z
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:63636538-3762-4162-b036-393232376662
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:38653335-3631-4731-b736-393035646664
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64633765-3338-4639-b361-316466653662
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:35303531-3532-4637-a230-636638326563
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:35616663-3937-4164-b961-373436653061
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64313431-6133-4339-a362-363130336463
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:66373534-6231-4234-b961-633933353333
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33353166-6432-4538-b333-623662333933
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:37613432-3334-4334-b836-323232306636
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:33373334-6231-4562-a632-393835646539
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:31343164-3264-4331-a630-336566636366
DTSTAMP:20260408T235506Z
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:34663165-3036-4063-b633-633064323532
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37323366-3331-4435-a265-383763396233
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:61646263-6637-4433-a338-313062316165
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:39636161-3834-4362-b739-366634323235
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:64376566-6234-4735-b464-336665373432
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:61303264-3461-4732-a466-373035333734
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37643166-3165-4431-b933-653562376432
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:36616136-3034-4563-a234-623163323932
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34303865-3937-4532-a434-326165373239
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:62666337-3135-4430-a638-356561376266
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37613537-3730-4564-b032-366235373434
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Final Exam
END:VEVENT
BEGIN:VEVENT
UID:65353337-6336-4263-b037-333933346364
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:32633131-3566-4962-a161-316466353032
DTSTAMP:20260408T235506Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR