BEGIN:VCALENDAR
PRODID:-//Mozilla.org/NONSGML Mozilla Calendar V1.1//EN
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED:20190708T011722Z
LAST-MODIFIED:20190708T011729Z
DTSTAMP:20190708T011729Z
UID:d8d050ea-6c24-4822-9f7f-0a6a71ab9d2d
SUMMARY:Coffee break
DTSTART;TZID=Europe/Paris:20190827T100000
DTEND;TZID=Europe/Paris:20190827T103000
TRANSP:OPAQUE
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011722Z
LAST-MODIFIED:20190708T011732Z
DTSTAMP:20190708T011732Z
UID:804af1aa-0ccf-41eb-b769-980ed12eae1a
SUMMARY:Coffee break
DTSTART;TZID=Europe/Paris:20190828T100000
DTEND;TZID=Europe/Paris:20190828T103000
TRANSP:OPAQUE
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011722Z
LAST-MODIFIED:20190708T011734Z
DTSTAMP:20190708T011734Z
UID:00fd2682-2d35-46d5-a66e-48f46acd3ba6
SUMMARY:Coffee break
DTSTART;TZID=Europe/Paris:20190829T100000
DTEND;TZID=Europe/Paris:20190829T103000
TRANSP:OPAQUE
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011740Z
LAST-MODIFIED:20190708T011804Z
DTSTAMP:20190708T011804Z
UID:706b9fb3-8181-450b-9688-7692dec97575
SUMMARY:Special session on data-driven and stochastic approaches to real-t
 ime\, including monitoring and big data
DTSTART;TZID=Europe/Paris:20190827T103000
DTEND;TZID=Europe/Paris:20190827T123000
TRANSP:OPAQUE
DESCRIPTION:10:30–12:30 \tSpecial session on data-driven and stochastic 
 approaches to real-time\, including monitoring and big data (Chair: Martin
  Fränzle)\n10:30–11:00 \t\nMasaki Waga\nOnline Quantitative Timed Patte
 rn Matching with Semiring-Valued Weighted Automata\n\n11:00–11:30 \t\nMa
 hmoud Salem\, Gonzalo Carvajal\, Tong Liu and Sebastian Fischmeister\nAsse
 ssing the Robustness of Arrival Curves Models for Real-time Systems\n\n11:
 30–12:00 \t\nRehab Massoud\, Hoang Le and Rolf Drechsler\nTemporal Prope
 rties Driven Timestamps Encoding in the Timeprints Context\n\n12:00–12:3
 0 \t\nThomas Ferrère\, Oded Maler and Dejan Nickovic\nMixed-Time Signal T
 emporal Logic
SEQUENCE:2
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011805Z
LAST-MODIFIED:20190708T011814Z
DTSTAMP:20190708T011814Z
UID:e4bc5dab-6c2d-4118-9ba1-d59902338020
SUMMARY:Lunch break
DTSTART;TZID=Europe/Paris:20190827T123000
DTEND;TZID=Europe/Paris:20190827T133000
TRANSP:OPAQUE
DESCRIPTION:12:30–13:30 \tLunch break 
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011805Z
LAST-MODIFIED:20190708T011820Z
DTSTAMP:20190708T011820Z
UID:9f29706f-91ee-4464-86ed-eb6d6a1acd0b
SUMMARY:Lunch break
DTSTART;TZID=Europe/Paris:20190829T123000
DTEND;TZID=Europe/Paris:20190829T133000
TRANSP:OPAQUE
DESCRIPTION:12:30–13:30 \tLunch break
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011828Z
LAST-MODIFIED:20190708T011841Z
DTSTAMP:20190708T011841Z
UID:9d1c67bf-9ca8-423e-bb23-ac228a940aa8
SUMMARY:Timed systems
DTSTART;TZID=Europe/Paris:20190827T133000
DTEND;TZID=Europe/Paris:20190827T150000
TRANSP:OPAQUE
DESCRIPTION:13:30–15:00 \tTimed systems (Chair: TBA)\n\n13:30–14:00 \t
 \nSilvano Dal Zilio\, Éric Lubat\, Didier Le Botlan\, Yannick Pencolé an
 d Audine Subias\nA State Class Construction for Computing the Intersection
  of Time Petri Nets Languages\n\n14:00–14:30 \t\nAnne Bouillard\nStabili
 ty and performance bounds in cyclic networks using network calculus\n\n14:
 30–15:00 \t\nAlexey Bakhirkin\, Nicolas Basset\, Oded Maler and José-Ig
 nacio Requeno Jarabo\nParetoLib: A Python Library for Parameter Synthesis 
 [tool paper]
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011722Z
LAST-MODIFIED:20190708T011849Z
DTSTAMP:20190708T011849Z
UID:a7a4db2d-809a-4118-86b5-6694c46f985e
SUMMARY:Coffee break
DTSTART;TZID=Europe/Paris:20190827T150000
DTEND;TZID=Europe/Paris:20190827T153000
TRANSP:OPAQUE
SEQUENCE:2
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011857Z
LAST-MODIFIED:20190708T011916Z
DTSTAMP:20190708T011916Z
UID:3beafb82-5718-438d-a756-e97808832c45
SUMMARY:Linear and non-linear systems
DTSTART;TZID=Europe/Paris:20190827T153000
DTEND;TZID=Europe/Paris:20190827T170000
TRANSP:OPAQUE
DESCRIPTION:15:30–17:00 \tLinear and non-linear systems (Chair: Alessand
 ro Abate)\n\n15:30–16:00 \t\nHui Kong\, Ezio Bartocci\, Yu Jiang and Tho
 mas Henzinger\nPiecewise Robust Barrier Tubes for Nonlinear Hybrid Systems
  with Uncertainty\n\n16:00–16:30 \t\nMuhammad Syifa’Ul Mufid\, Dieky A
 dzkiya and Alessandro Abate\nBounded Model Checking of Max-Plus Linear Sys
 tems via Predicate Abstractions\n\n16:30–17:00 \t\nHoang-Dung Tran\, Lua
 n Nguyen\, Nathaniel Hamilton\, Weiming Xiang and Taylor Johnson\nReachabi
 lity Analysis for High-Index Linear Differential Algebraic Equations
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011925Z
LAST-MODIFIED:20190708T011936Z
DTSTAMP:20190708T011936Z
UID:246fc635-c4ef-4b4c-8ba7-8aff28b85a56
SUMMARY:Drinks
DTSTART;TZID=Europe/Paris:20190827T173000
DTEND;TZID=Europe/Paris:20190827T190000
TRANSP:OPAQUE
DESCRIPTION:17:30–19:00 \tDrinks (with CONCUR) 
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011655Z
LAST-MODIFIED:20190708T012001Z
DTSTAMP:20190708T012001Z
UID:5e4ef17b-b261-49d7-aa79-1924e63d4109
SUMMARY:CONCUR + FORMATS Keynote: Marta Kwiatkovska
DTSTART;TZID=Europe/Paris:20190827T090000
DTEND;TZID=Europe/Paris:20190827T100000
TRANSP:OPAQUE
LOCATION:room: Turing
DESCRIPTION:09:00–10:00 \t\nSafety verification for deep neural networks
  with provable guarantees\nJoint invited speaker with CONCUR
SEQUENCE:1
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011945Z
LAST-MODIFIED:20190708T012004Z
DTSTAMP:20190708T012004Z
UID:d91341b3-f711-4a3f-8d4e-086308924658
SUMMARY:FORMATS Keynote: Nathalie Bertrand
DTSTART;TZID=Europe/Paris:20190828T090000
DTEND;TZID=Europe/Paris:20190828T100000
TRANSP:OPAQUE
DESCRIPTION:09:00–10:00 \t\nKeynote: Nathalie Bertrand (room: TBA) (chai
 r: Étienne André)\nWhen are dense-time stochastic systems tameable?
SEQUENCE:1
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T012013Z
LAST-MODIFIED:20190708T012026Z
DTSTAMP:20190708T012026Z
UID:ad20a650-7f7e-4079-b6fc-54335a05a172
SUMMARY:Timed Automata
DTSTART;TZID=Europe/Paris:20190828T103000
DTEND;TZID=Europe/Paris:20190828T123000
TRANSP:OPAQUE
DESCRIPTION:10:30–12:30 \tTimed Automata (chair: TBA)\n\n10:30–11:00 \
 t\nAmnon Rosenmann\nThe Timestamp of Timed Automata\n\n11:00–11:30 \t\nA
 mnon Rosenmann\nOn the Distance between Timed Automata\n\n11:30–12:00 \t
 \nMartin Tappler\, Bernhard K. Aichernig\, Kim Guldstrand Larsen and Flori
 an Lorber\nTime to Learn - Learning Timed Automata from Tests\n\n12:00–1
 2:30 \t\nSimon Wimmer\nMunta: A Verified Model Checker for Timed Automata 
 [tool paper]
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T011805Z
LAST-MODIFIED:20190708T012030Z
DTSTAMP:20190708T012030Z
UID:e36e6d6b-b54d-4f5d-9601-bc8db4c082d4
SUMMARY:Lunch break
DTSTART;TZID=Europe/Paris:20190828T123000
DTEND;TZID=Europe/Paris:20190828T133000
TRANSP:OPAQUE
DESCRIPTION:12:30–13:30 \tLunch break
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T012042Z
LAST-MODIFIED:20190708T012114Z
DTSTAMP:20190708T012114Z
UID:bca81c22-3e7c-45dc-9053-b6a26919a2cd
SUMMARY:Social Activity
DTSTART;TZID=Europe/Paris:20190828T133000
DTEND;TZID=Europe/Paris:20190828T200000
TRANSP:OPAQUE
DESCRIPTION:13:30–20:00 \tSocial Activity (with CONCUR)\n\nhttps://event
 .cwi.nl/concur2019/participation.html#social
SEQUENCE:1
X-MOZ-GENERATION:2
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T012125Z
LAST-MODIFIED:20190708T012136Z
DTSTAMP:20190708T012136Z
UID:0bdab0ac-61f7-4428-b3b8-f939d2fdddc4
SUMMARY:CONCUR + FORMATS Keynote: Kim G. Larsen
DTSTART;TZID=Europe/Paris:20190829T090000
DTEND;TZID=Europe/Paris:20190829T100000
TRANSP:OPAQUE
DESCRIPTION:09:00–10:00 \t\nKeynote: Kim G. Larsen (room: Turing)
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T012142Z
LAST-MODIFIED:20190708T012153Z
DTSTAMP:20190708T012153Z
UID:323de3a9-d0ba-4ff2-99a9-0114fab890bf
SUMMARY:Special session on timed systems and probabilities
DTSTART;TZID=Europe/Paris:20190829T103000
DTEND;TZID=Europe/Paris:20190829T120000
TRANSP:OPAQUE
DESCRIPTION:10:30–12:00 \tSpecial session on timed systems and probabili
 ties (chair: Nathalie Bertrand)\n\n10:30–11:00 \t\nBingzhuo Zhong\, Maji
 d Zamani and Marco Caccamo\nSandboxing Controllers for Stochastic Cyber-Ph
 ysical Systems\n\n11:00–11:30 \t\nAndrea Marin\, Carla Piazza and Sabina
  Rossi\nProportional Lumpability\n\n11:30–12:00 \t\nShibashis Guha and A
 shutosh Trivedi\nExpected Reachability-Price Games
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
BEGIN:VEVENT
CREATED:20190708T012157Z
LAST-MODIFIED:20190708T012202Z
DTSTAMP:20190708T012202Z
UID:91d72fc9-1732-44cc-9faa-546f0f86632b
SUMMARY:Closing session
DTSTART;TZID=Europe/Paris:20190829T120000
DTEND;TZID=Europe/Paris:20190829T123000
TRANSP:OPAQUE
SEQUENCE:1
X-MOZ-GENERATION:1
END:VEVENT
END:VCALENDAR