BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//eCampus//Course Schedule//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Course Schedule - Model Synthesis and Satisfiability Checking 
 for STCTL\, ATL\, and SL with Simple Goals
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:ecampus-72-slot-0-113000@ecampus.across-alliance.eu
DTSTAMP:20260530T051724Z
SUMMARY:Model Synthesis and Satisfiability Checking for STCTL\, ATL\, and S
 L with Simple Goals
DTSTART;TZID=Europe/Berlin:20260417T113000
DTEND;TZID=Europe/Berlin:20260417T133000
END:VEVENT
END:VCALENDAR