BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:34313165-6631-4431-a630-336561373133
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:61313534-6630-4365-a632-363966366439
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:62336638-6264-4964-b739-343361656637
DTSTAMP:20260704T012436Z
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:63656265-3266-4664-b262-616337613334
DTSTAMP:20260704T012436Z
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:65663765-6365-4936-a661-626434346532
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:66636266-6236-4333-b566-653937383534
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:64663166-6230-4266-a535-353764303337
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:62633931-6663-4630-b138-336132336533
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Event Structures
END:VEVENT
BEGIN:VEVENT
UID:32623638-6434-4134-a430-653631306139
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:35613239-3138-4132-a231-303833303162
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:37356666-3838-4030-a563-393331623338
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:39306161-6438-4534-b736-306534383635
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:36666466-6330-4465-b135-316662376438
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:37323839-6464-4031-b432-616530643162
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:37613232-3662-4265-b862-366339393465
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:66356433-6339-4465-a130-333437616535
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:35393766-3961-4562-b036-343739326266
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:63323233-6466-4931-b964-643262323033
DTSTAMP:20260704T012436Z
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:31643166-3666-4230-b036-396336353931
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:37623336-3962-4961-b835-313231333935
DTSTAMP:20260704T012436Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Write-up Final Deadline
END:VEVENT
END:VCALENDAR