BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:35363237-3131-4663-b231-313734326664
X-WR-CALNAME:Advanced Concurrency Theory Calendar
X-WR-CALDESC:Events of the lecture Advanced Concurrency Theory
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:65633332-3166-4438-b636-666437383730
DTSTAMP:20261029T062943Z
DESCRIPTION:A crisp introduction to variations of process calculi brought t
 o you by Prof. Hermanns. In addition\, there will be a presentation of the
  best presentation on TA selected earlier.
DTSTART:20161122T074500Z
DTEND:20161122T084500Z
SUMMARY:CCS\, CSP and all that & best two TA presentations
END:VEVENT
BEGIN:VEVENT
UID:39643536-6536-4832-a539-646437613731
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:37333736-6263-4339-b363-663861336635
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:62376236-3531-4430-b763-303335313238
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:36383934-3665-4237-a130-363232376665
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Event Structures
END:VEVENT
BEGIN:VEVENT
UID:63663431-6632-4131-b633-626166323537
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:38316538-3935-4465-a330-303032333534
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:30656230-3833-4834-b639-346566613939
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:65366439-3061-4362-b539-363336386664
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:64653463-3466-4134-b030-643737636230
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:66363064-3864-4436-b264-326532373938
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:64663630-6130-4535-b934-353139363666
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:31633934-6535-4035-b561-663336323038
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:38333932-6362-4961-b031-373363656138
DTSTAMP:20261029T062943Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Timed Automata
END:VEVENT
END:VCALENDAR