BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:32616234-3737-4764-b738-353732636236
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:66653937-6264-4530-b062-396564383735
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:62313663-6333-4230-b932-623639366430
DTSTAMP:20260906T124749Z
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:Casting
END:VEVENT
BEGIN:VEVENT
UID:34346231-6532-4264-b730-323231626162
DTSTAMP:20260906T124749Z
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:65383334-3263-4531-b630-316461326338
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:65346266-3336-4038-b630-343761363764
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:30396636-3565-4633-b838-623039346134
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:32363939-6663-4763-b837-346131353437
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Event Structures
END:VEVENT
BEGIN:VEVENT
UID:66643666-3330-4462-a638-393763343634
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:37663363-6139-4838-b161-396138333638
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:31316439-3335-4661-a364-643066373738
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:38303735-3664-4462-b832-313933376337
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:38653035-3939-4135-b533-303265613232
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:30363530-6534-4435-b338-373837333564
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:30376563-3230-4538-b265-336532643832
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:37383365-6531-4462-a338-383762393264
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:30333930-3437-4431-b834-653231653836
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:61323232-6433-4437-b137-366533653965
DTSTAMP:20260906T124749Z
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:Write-up Draft Deadline
END:VEVENT
BEGIN:VEVENT
UID:66623338-6162-4137-b031-343764643736
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:30343266-3564-4238-a631-373932346638
DTSTAMP:20260906T124749Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Write-up Final Deadline
END:VEVENT
END:VCALENDAR