BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62646661-6361-4135-a365-393731313638
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:62356535-3334-4266-a635-366166373764
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:33353835-3036-4239-b361-303762303737
DTSTAMP:20260629T204532Z
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:36666431-3434-4631-b933-303266306431
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:35623561-6534-4161-b963-313536366661
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:38336666-3731-4536-b132-623461323038
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:36336639-3664-4835-a264-666432623361
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:38656539-3165-4639-b130-393461633035
DTSTAMP:20260629T204532Z
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:33643936-3937-4434-a665-653162626234
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:34633165-6134-4139-b565-356237333761
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:64323566-3066-4036-a562-383037616464
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:31663665-6133-4536-b331-653531323633
DTSTAMP:20260629T204532Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
END:VCALENDAR