BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63373261-3138-4862-b763-623131653861
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:34646537-3465-4436-a231-653465376362
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:61333865-6132-4336-b333-386334616361
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250417T081500Z
DTEND:20250417T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – AI Core Course Concepts/Admissible Pruning I: Par
 tial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:35326362-3839-4334-b736-333163316662
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:39353737-6535-4164-a362-646632646364
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:63636331-6666-4462-b065-346630653335
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250515T081500Z
DTEND:20250515T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning/Planning
  as SAT
END:VEVENT
BEGIN:VEVENT
UID:65626366-6430-4863-a338-373134633862
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250522T081500Z
DTEND:20250522T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Planning as SAT/Policy Learning: Action Schema Ne
 tworks
END:VEVENT
BEGIN:VEVENT
UID:63316664-3534-4566-a266-303264626234
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250605T081500Z
DTEND:20250605T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Learning: Action Schema Networks/Policy Ve
 rification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:34373263-3461-4864-a233-343734653931
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:35363730-3834-4435-b666-643836366266
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:66313337-3138-4136-a232-626338336531
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:64643932-6434-4763-b536-656136323466
DTSTAMP:20261110T002745Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
END:VCALENDAR