BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31373732-3639-4566-b466-333538356533
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:31623031-3633-4065-b636-356665376231
DTSTAMP:20260522T215640Z
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:34353361-3934-4664-b834-353062356363
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170110T080000Z
DTEND:20170110T084500Z
LOCATION:E 1.3\, Room 528
SUMMARY:Priced and Energy Timed Automata
END:VEVENT
BEGIN:VEVENT
UID:63333333-3832-4431-b537-633762643830
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170117T073000Z
DTEND:20170117T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Automata and PCCS
END:VEVENT
BEGIN:VEVENT
UID:63393863-3361-4165-b136-396166376239
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170117T081500Z
DTEND:20170117T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Model Based Testing
END:VEVENT
BEGIN:VEVENT
UID:64633832-3864-4132-a536-653365626637
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170124T073000Z
DTEND:20170124T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Event Structures
END:VEVENT
BEGIN:VEVENT
UID:66353439-3435-4233-a361-323331633832
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170124T081500Z
DTEND:20170124T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Process Algebra
END:VEVENT
BEGIN:VEVENT
UID:31323333-3230-4536-b735-356330353034
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T081000Z
DTEND:20170128T085500Z
LOCATION:E1.3\, Room 528
SUMMARY:Petri Nets
END:VEVENT
BEGIN:VEVENT
UID:65343730-3865-4466-a431-343832623237
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T085500Z
DTEND:20170128T094000Z
LOCATION:E1.3\, Room 528
SUMMARY:Interface Automata
END:VEVENT
BEGIN:VEVENT
UID:31623563-3232-4062-b264-373838633465
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T094000Z
DTEND:20170128T102000Z
LOCATION:E1.3\, Room 528
SUMMARY:Bisimulation Minimization
END:VEVENT
BEGIN:VEVENT
UID:35316236-3066-4562-a461-643630333762
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T120000Z
DTEND:20170128T124500Z
LOCATION:E1.3\, Room 528
SUMMARY:Spectral Analysis
END:VEVENT
BEGIN:VEVENT
UID:61656566-6461-4833-a530-383532613036
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T124500Z
DTEND:20170128T133000Z
LOCATION:E1.3\, Room 528
SUMMARY:Value Passing Semantics
END:VEVENT
BEGIN:VEVENT
UID:31373264-3366-4637-b634-626435353865
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170128T133000Z
DTEND:20170128T141500Z
LOCATION:E1.3\, Room 528
SUMMARY:Stochastic Automata
END:VEVENT
BEGIN:VEVENT
UID:63353834-3733-4532-b730-336239303434
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170131T073000Z
DTEND:20170131T081500Z
LOCATION:E1.3\, Room 528
SUMMARY:Hybrid Automata
END:VEVENT
BEGIN:VEVENT
UID:30653861-3635-4335-a337-376434343933
DTSTAMP:20260522T215640Z
DESCRIPTION:
DTSTART:20170131T081500Z
DTEND:20170131T090000Z
LOCATION:E1.3\, Room 528
SUMMARY:Probabilistic Timed Automata
END:VEVENT
END:VCALENDAR