BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:62366563-3636-4165-b435-616335663961
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:61346562-6237-4330-b935-333061316663
DTSTAMP:20260613T093656Z
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:37366531-3565-4436-b634-303933636231
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Conca: Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:65646364-6661-4230-b235-646332666261
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:39636331-3337-4863-a336-323365646530
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:62613464-3138-4332-a166-313237373038
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Event Structures
END:VEVENT
BEGIN:VEVENT
UID:31656339-6630-4133-b737-396164303930
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:64353063-6135-4731-b039-363132613330
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:34313738-3364-4936-b430-333834303739
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:64303561-6462-4533-b234-643366343834
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:65643163-3730-4633-b735-363762626366
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:65336166-3131-4562-b461-643133356165
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:37623665-3639-4136-b739-623864656263
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:38666464-6566-4062-a634-326139323363
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:33363835-6539-4264-a639-663266633661
DTSTAMP:20260613T093656Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Timed Automata
END:VEVENT
END:VCALENDAR