Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS510
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 6 Apr

metrid-2019-papers
09:00 - 10:30: MeTRiD - Welcome & Keynote 1 at S510
Chair(s): Simon BliudzeINRIA Lillle - Nord Europe, Panagiotis KatsarosITI-CERTH, Thessaloniki
metrid-2019-papers09:15 - 09:30
Day opening
Simon BliudzeINRIA Lillle - Nord Europe, Panagiotis KatsarosITI-CERTH, Thessaloniki
metrid-2019-papers09:30 - 10:30
Talk
Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
metrid-2019-papers
11:00 - 12:30: MeTRiD - Behavioural models and parametrised systems at S510
Chair(s): Tiziana MargariaUniversity of Limerick and Lero - The Irish Software Research Centre
metrid-2019-papers11:00 - 11:40
Talk
Nathalie BertrandINRIA Rennes, Igor KonnovInria Nancy, Marijana LazićTU Wien, Josef WidderTU Wien
metrid-2019-papers11:40 - 12:20
Talk
Jacques CombazVerimag/CNRS
metrid-2019-papers12:20 - 13:00
Talk
Rim El BallouliVerimag, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS, Joseph SifakisVerimag/CNRS
metrid-2019-papers
14:00 - 15:30: MeTRiD - Keynote 2 at S510
Chair(s): Panagiotis KatsarosITI-CERTH, Thessaloniki
metrid-2019-papers14:30 - 15:30
Talk
Valeriy VyatkinAalto University, Finland and Luleå University of Technology, Sweden
metrid-2019-papers
16:00 - 18:00: MeTRiD - Cyber-Physical Systems design at S510
Chair(s): Valeriy VyatkinAalto University, Finland and Luleå University of Technology, Sweden
metrid-2019-papers16:00 - 16:40
Talk
Ezio BartocciTechnische Universität Wien, Thomas FerrèreIST Austria, Niveditha ManjunathAustrian Institute of Technology, Dejan NickovicAustrian Institute of Technology
metrid-2019-papers16:40 - 17:20
Talk
Alexios LekidisAristotle University of Thessaloniki
metrid-2019-papers17:20 - 18:00
Talk
Cinzia BernardeshiUniv. of Pisa

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S510
14:00 - 15:30