BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:30353135-3735-4333-b066-393432306431
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:33363531-3366-4638-a632-333636656430
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250410T081500Z
DTEND:20250410T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – About this Course/AI Core Course Concepts
END:VEVENT
BEGIN:VEVENT
UID:37623334-6266-4265-a564-323838613466
DTSTAMP:20260629T230620Z
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:31613238-6130-4361-b736-643661326431
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250424T081500Z
DTEND:20250424T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning I: Partial-Order Reduction
END:VEVENT
BEGIN:VEVENT
UID:62656666-6334-4065-b066-663231386431
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250424T121500Z
DTEND:20250424T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61626236-3765-4834-a639-616332313934
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250501
DTEND;VALUE=DATE:20250502
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:36363865-6431-4862-b231-353637326631
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250508T081500Z
DTEND:20250508T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Admissible Pruning II: Dominance Pruning
END:VEVENT
BEGIN:VEVENT
UID:36616234-6430-4436-b964-303633346130
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250508T121500Z
DTEND:20250508T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:63653064-3035-4534-a462-333766366131
DTSTAMP:20260629T230620Z
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:37643863-6361-4935-b565-333434613963
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250515T121500Z
DTEND:20250515T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37353235-6266-4533-b464-653862343533
DTSTAMP:20260629T230620Z
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:37623261-6463-4436-a230-626561383865
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250522T121500Z
DTEND:20250522T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:37336666-6661-4431-b363-303863613461
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250529
DTEND;VALUE=DATE:20250530
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:61346337-6563-4364-b336-653634336563
DTSTAMP:20260629T230620Z
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:33333234-6630-4934-a234-636336643038
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250605T121500Z
DTEND:20250605T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61643933-3633-4161-a665-393337356235
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250612T081500Z
DTEND:20250612T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification I: Basics
END:VEVENT
BEGIN:VEVENT
UID:35646638-3137-4566-a464-333335373766
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250612T121500Z
DTEND:20250612T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343830-3037-4232-b435-313666373062
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART;VALUE=DATE:20250619
DTEND;VALUE=DATE:20250620
SUMMARY:Taip25: PUBLIC HOLIDAY
END:VEVENT
BEGIN:VEVENT
UID:66313137-3230-4665-a564-383632376461
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250626T081500Z
DTEND:20250626T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:65326266-3162-4561-a462-626534643536
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250626T121500Z
DTEND:20250626T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:38323039-6462-4239-a463-376434326239
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250703T081500Z
DTEND:20250703T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Verification II: Policy Predicate Abstract
 ion
END:VEVENT
BEGIN:VEVENT
UID:36383062-3538-4461-b462-376561373230
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250703T121500Z
DTEND:20250703T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:61343032-3336-4364-b235-663136633637
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250710T081500Z
DTEND:20250710T094500Z
LOCATION:HS003 (E1 3)
SUMMARY:Taip25: Lecture – Policy Testing: Classical Planning
END:VEVENT
BEGIN:VEVENT
UID:61313033-3639-4166-a634-383735323939
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250710T121500Z
DTEND:20250710T134500Z
LOCATION:E1 1\, room 3.06
SUMMARY:Taip25: Tutorial
END:VEVENT
BEGIN:VEVENT
UID:30373536-6531-4735-b161-373265646132
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250724T080000Z
DTEND:20250724T100000Z
LOCATION:HS II in E2 5
SUMMARY:Taip25: Final Exam
END:VEVENT
BEGIN:VEVENT
UID:37336462-3764-4536-a661-653036356566
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20250731T080000Z
DTEND:20250731T100000Z
LOCATION:E1 1Room 3.06
SUMMARY:Taip25: Exam Inspection
END:VEVENT
BEGIN:VEVENT
UID:33313235-3038-4233-a138-613236333735
DTSTAMP:20260629T230620Z
DESCRIPTION:
DTSTART:20251002T080000Z
DTEND:20251002T100000Z
SUMMARY:Taip25: Re-Exam
END:VEVENT
END:VCALENDAR