BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:61613562-3436-4266-a332-656230653338
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:39353863-3333-4165-b662-393235396332
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:35343531-6461-4237-a266-383361646536
DTSTAMP:20260819T151648Z
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:38616164-3534-4466-b636-393638396531
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:37633033-3738-4533-a136-333165623834
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61613936-3630-4162-b461-646333376139
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:66653436-3531-4363-a332-333362333835
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:35633731-3366-4638-b965-656530383263
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34313365-3564-4232-a362-353732376537
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:64636233-3735-4165-b438-336134646137
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64613338-3965-4237-b738-316432373066
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:61396461-6632-4831-b835-313134393466
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:64336535-6438-4263-b463-376663383562
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:61313863-6234-4338-a563-623838313161
DTSTAMP:20260819T151648Z
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:31383765-3561-4162-a361-363236373733
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34646236-3531-4531-a535-623961363134
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:64316534-6131-4237-b830-613632333966
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61633238-3136-4061-b634-643537306237
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:30623262-3564-4964-b663-636236346363
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:34663762-3132-4261-b438-643431393939
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63656533-3766-4339-a661-623832373031
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:65306462-6236-4632-b439-656336333131
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62613232-3436-4232-b265-646332353434
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:37336663-3231-4336-b633-396563363132
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37396135-6662-4838-b533-656266643035
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Final Exam
END:VEVENT
BEGIN:VEVENT
UID:37373835-3231-4466-a464-613134323930
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:37373637-3433-4639-a133-323133333561
DTSTAMP:20260819T151648Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Re-Exam
END:VEVENT
END:VCALENDAR