BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39323138-3636-4962-b036-373366376462
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:38353039-3138-4633-b563-623932663765
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:37313334-3831-4239-a538-653066383462
DTSTAMP:20260430T052314Z
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:37366163-3133-4634-b865-303430666639
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:65313834-3566-4531-a134-386165653932
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32336264-6565-4631-a430-353038356638
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:64326265-6238-4137-b165-616438316161
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:37393261-3465-4435-b865-333630643362
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:31356235-3130-4234-b030-623533383338
DTSTAMP:20260430T052314Z
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:32646563-3930-4566-a461-363033306362
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32373439-6135-4130-b132-646331636234
DTSTAMP:20260430T052314Z
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:37663266-3361-4465-b331-333136653766
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38653130-3961-4065-a632-363664383264
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:31366331-3563-4331-a634-346434396566
DTSTAMP:20260430T052314Z
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:33636335-3933-4764-a139-643736383139
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30373039-3936-4637-b230-626565303836
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:37303635-3330-4732-b636-366531376631
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:32356230-6164-4132-b237-383466336338
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:33633566-6236-4933-a533-343364373935
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:35326539-3936-4637-b366-633163313630
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:34653736-6534-4462-b032-613738353634
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:38363231-3064-4965-a264-663431386436
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:62363936-3731-4564-b534-363763303332
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:65376366-3863-4264-b234-626239616530
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30303430-3531-4239-b564-643064313532
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Taip25: Final Exam
END:VEVENT
BEGIN:VEVENT
UID:33613735-3165-4833-b838-663535633533
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Taip25: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:66663935-6232-4132-b139-316238336265
DTSTAMP:20260430T052314Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Taip25: Re-Exam
END:VEVENT
END:VCALENDAR