BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63626434-3730-4739-b531-323837623032
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:35613738-3066-4464-b164-306431623666
DTSTAMP:20260817T062146Z
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:Conca: CCS\, CSP and all that & best two TA presentations
END:VEVENT
BEGIN:VEVENT
UID:36313466-3433-4432-a533-393039343465
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Conca: Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:62343564-3237-4437-b030-643664343838
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:66356337-3432-4537-b536-343233656161
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:34643664-3262-4531-a638-343965663866
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Event Structures
END:VEVENT
BEGIN:VEVENT
UID:31313131-3131-4164-b362-666138623065
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:34646162-3361-4563-a162-643336333364
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:64343133-3163-4265-b161-363561623539
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:34396364-3566-4736-a532-356132666632
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:33393737-6537-4565-b438-373631346635
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:63313133-3433-4665-a333-383339616132
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:66666636-3132-4732-a431-383633383830
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:38346165-3930-4331-b261-376231313165
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:63396331-6333-4737-b262-336230396239
DTSTAMP:20260817T062146Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Timed Automata
END:VEVENT
END:VCALENDAR