BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:37366330-3733-4530-b031-306435666433
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:38383432-3032-4033-b739-623565653035
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Conca: Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:63366561-3965-4039-b364-643964396365
DTSTAMP:20260405T182554Z
DESCRIPTION:Casting:\n5 minutes presentation on timed automata. For papers 
 to start from\, see under Materials in the system (you will only present w
 ithout any audience\, you are not admitted to listen to the talks of the o
 thers\; we will ask the author of the presentation that we consider best t
 o redo the presentation on November 22.)\n10% of the final grade
DTSTART:20161115T074500Z
DTEND:20161115T093000Z
LOCATION:E1.3\, Raum 528
SUMMARY:Conca: Casting
END:VEVENT
BEGIN:VEVENT
UID:39343931-6634-4864-b437-393939623164
DTSTAMP:20260405T182554Z
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:34393439-3136-4430-a230-613265646434
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Conca: Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:62653138-3166-4564-b065-396430616338
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:65656636-6537-4336-a166-626631376632
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:39353662-3563-4164-b766-396133353730
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Event Structures
END:VEVENT
BEGIN:VEVENT
UID:30343762-3938-4230-a163-653032646265
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:64636130-6534-4537-b036-643665303961
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:35383232-3832-4334-b636-633163643031
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:38643134-3330-4464-b362-353761326661
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:62656231-6237-4535-a134-336331383661
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:35326464-6364-4432-b363-373862353833
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:38643532-3535-4438-b833-346364313735
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:33633238-3163-4836-b135-343063386434
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:38323233-6336-4232-a231-333263373164
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:31626165-3838-4266-b132-326163633033
DTSTAMP:20260405T182554Z
DESCRIPTION:Die Frist zur Einreichung der write-ups wurde auf den 14ten Feb
 ruar (23:59 Uhr) festgelegt.
DTSTART;VALUE=DATE:20170214
DTEND;VALUE=DATE:20170215
SUMMARY:Conca: Write-up Draft Deadline
END:VEVENT
BEGIN:VEVENT
UID:35326261-3235-4635-b631-623364353032
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Conca: Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:34353535-3433-4431-a132-636261613333
DTSTAMP:20260405T182554Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Conca: Write-up Final Deadline
END:VEVENT
END:VCALENDAR