BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:33383936-3131-4332-a362-613363303261
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:36383339-6464-4835-a632-626264363766
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:64363334-3037-4632-a638-663438656463
DTSTAMP:20260929T002223Z
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:33386164-3738-4235-a535-653030656164
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:37313939-6532-4230-a261-623965663463
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30333964-6462-4132-b935-386266313237
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:36386134-6361-4439-b332-613139333136
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:36393935-3837-4036-a437-306431626166
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63653835-3262-4031-a136-663836663637
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:65353266-6234-4730-a661-633362336361
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32333537-3831-4137-a630-643663396533
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:61326234-3465-4861-b566-343737356261
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32376363-6530-4632-a636-333634626638
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:32303934-3335-4663-b439-323235363661
DTSTAMP:20260929T002223Z
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:30306138-3839-4665-b366-346130383234
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34643238-6231-4931-b666-303333393862
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:62613565-3933-4762-b462-303436333262
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37396261-3635-4436-b637-633961616230
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:30666638-6431-4566-b764-616261393566
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:39326438-3431-4363-b664-373934336264
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:36643863-3832-4232-b564-633431343131
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:37656238-3034-4838-b666-633937373739
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34633162-3335-4466-b337-646539336139
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:38383033-3732-4261-b063-393463633735
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:35623839-3961-4266-b363-666165383965
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Final Exam
END:VEVENT
BEGIN:VEVENT
UID:32383537-3461-4461-b936-646463333731
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:38306264-3866-4436-b236-646163323731
DTSTAMP:20260929T002223Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR