BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64316232-6136-4834-a162-616338623235
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:34316666-6366-4236-b862-653434383966
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20161025T061500Z
DTEND:20161025T080000Z
LOCATION:Building E1.3\, Room 528
SUMMARY:Conca: Kick-Off Meeting
END:VEVENT
BEGIN:VEVENT
UID:38323866-3138-4265-a236-663633323833
DTSTAMP:20260613T104653Z
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:35353730-3166-4233-a565-656238323463
DTSTAMP:20260613T104653Z
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:34626466-6431-4133-a365-336432383065
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Conca: Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:38646132-6137-4136-a533-336134633031
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:63373437-6232-4463-b737-613734646462
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:34363564-3036-4133-a636-323838396239
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Event Structures
END:VEVENT
BEGIN:VEVENT
UID:62653138-3661-4039-b238-656462623663
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:38363363-3062-4234-b139-366435383835
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:64646661-6261-4161-b862-363335346263
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:36386135-6563-4364-b132-336139613332
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:30613731-6237-4865-b032-333831343764
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:30303735-3665-4432-b165-613434376534
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:64633161-3039-4261-b737-356461633431
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:31386335-3365-4933-b039-636635343261
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:39643631-3833-4734-b137-333865316535
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Conca: Probabilistic Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:65303632-3563-4638-b336-333661353731
DTSTAMP:20260613T104653Z
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:36396534-6364-4631-b233-623364616139
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170307T225900Z
DTEND:20170307T225900Z
SUMMARY:Conca: Review Deadline
END:VEVENT
BEGIN:VEVENT
UID:30366331-3161-4365-a332-383033383536
DTSTAMP:20260613T104653Z
DESCRIPTION:
DTSTART:20170331T215900Z
DTEND:20170331T215900Z
SUMMARY:Conca: Write-up Final Deadline
END:VEVENT
END:VCALENDAR