BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:38316336-6538-4432-b031-393539353131
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:65313336-6262-4866-b231-396437636463
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:32343235-3239-4365-b035-383331653963
DTSTAMP:20260728T035615Z
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:65306635-3839-4333-b137-656566663539
DTSTAMP:20260728T035615Z
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:64643065-3034-4239-a630-363632336630
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:30373930-6161-4164-b034-373030356230
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:32353832-3166-4263-a463-333532363737
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:30646439-3833-4131-b833-656165326435
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Event Structures
END:VEVENT
BEGIN:VEVENT
UID:65356237-6532-4065-b832-356561303466
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:62323866-6662-4663-b765-616135373465
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:65643161-3532-4230-b035-343734353132
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:64356338-3862-4139-a131-376162376637
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:33396364-3664-4632-b633-346139616634
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:61333432-3432-4032-b665-653761333937
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:35333935-6330-4166-b334-333031373263
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:37383066-3562-4665-b662-643136646131
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:39333530-3038-4461-b136-636235616362
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:63363835-3066-4332-a430-633236643565
DTSTAMP:20260728T035615Z
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:62643932-6637-4364-b466-346535303231
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:63656632-3632-4432-b037-626634646532
DTSTAMP:20260728T035615Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Write-up Final Deadline
END:VEVENT
END:VCALENDAR