BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34653531-3632-4562-b935-383563383263
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:63636436-6230-4764-b963-343331303132
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Conca: Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:34346437-6337-4337-a530-653734303836
DTSTAMP:20260926T213443Z
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:62623331-6462-4139-b334-356262646236
DTSTAMP:20260926T213443Z
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:39646431-3438-4462-b330-386631623265
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Conca: Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:65316430-6232-4637-a465-663439306166
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:62373539-3132-4664-a461-636237303031
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:37346434-3131-4461-b939-666466393665
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Event Structures
END:VEVENT
BEGIN:VEVENT
UID:32383231-3264-4464-a638-343831393837
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:37653361-3534-4661-b161-366566333831
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:32326435-3338-4866-a662-383430623337
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:66346539-6436-4332-b334-396531646232
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:39656331-3035-4364-a632-393532313065
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:65363733-6338-4765-b963-653733336264
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:30613961-6364-4463-b062-663963613938
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:34303565-3934-4565-b662-336563316561
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:39336561-3237-4536-a339-666261336331
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:34363439-3835-4866-b935-333430346466
DTSTAMP:20260926T213443Z
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:31616132-3563-4036-a464-326562323031
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Conca: Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:62323734-3933-4038-b165-613539396132
DTSTAMP:20260926T213443Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Conca: Write-up Final Deadline
END:VEVENT
END:VCALENDAR