BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38636534-3830-4263-a533-353463313933
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:38366164-3562-4262-b939-343130373635
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:37393666-3864-4462-b532-303362393662
DTSTAMP:20260527T233427Z
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:64616339-3832-4335-a563-663931613163
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:63633031-3535-4561-b033-623261323962
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65346130-6538-4166-b362-613035353735
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:61346630-3461-4739-b130-313862373830
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:32353533-6532-4933-b739-306231343663
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61653031-6161-4337-a463-633439353335
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:38623663-3432-4866-a163-616232346331
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:65366539-6331-4135-b964-336265313035
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:38366236-3036-4438-a663-343464363139
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30323336-3736-4866-b663-633038396235
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:66633736-3533-4163-b065-653032663962
DTSTAMP:20260527T233427Z
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:30656564-3131-4362-a564-663163343866
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32393233-3566-4032-b435-656165613136
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:39633932-6261-4539-b739-363361336334
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613966-6135-4562-b662-363965376461
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:36656630-6434-4332-b336-343339656365
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:38663862-3934-4537-a239-653935333031
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37333033-3237-4034-a664-383539376466
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:32303939-6465-4637-a533-376439363733
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32626339-3832-4163-a130-666566333930
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:34366361-3934-4064-a236-343165323434
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:66613534-6337-4462-b965-326530363864
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Final Exam
END:VEVENT
BEGIN:VEVENT
UID:62313835-3665-4335-a137-616134373837
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:31303264-3233-4266-b937-666537373237
DTSTAMP:20260527T233427Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR