BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36313963-3132-4534-b330-653831646263
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:65386532-6265-4236-b734-366566623734
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:37613439-3163-4033-a437-653034383136
DTSTAMP:20261110T002743Z
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:62333965-6538-4261-a433-613531373638
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:35326634-6434-4234-a130-326439643731
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:38396633-3435-4335-b661-666236663333
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT
END:VEVENT
BEGIN:VEVENT
UID:33396634-3364-4564-b637-303762623161
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Planning as SAT/Policy Learning: Action Schema Networks
END:VEVENT
BEGIN:VEVENT
UID:34666162-3530-4635-b331-653765653830
DTSTAMP:20261110T002743Z
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:33656364-6561-4361-b063-613332663630
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:65383762-3562-4536-b131-373631363939
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:34373762-6162-4234-b533-613766333939
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Verification II: Policy Predicate Abstraction
END:VEVENT
BEGIN:VEVENT
UID:32316136-6261-4730-b262-626537306437
DTSTAMP:20261110T002743Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Lecture – Policy Testing: Classical Planning
END:VEVENT
END:VCALENDAR