Home Program Organizers & Sponsors Social Event Registration Venue & Accomodations Contacts

 

Financed by

Ambasciata di Francia




Institut Français Italia




Università dell'Insubria

Program

Monday 16th

 

14:00 Registration and Opening

 

14:30 Weakest Precondition Style Reasoning about Probabilistic Programs by Benjamin Kaminski
15:05 Parameter Independent Reachability in Parametric MDPs by Sebastian Arming
15:40 On the Metric-based Approximate Minimization of Markov Chains by Giovanni Bacci

 

16:15 Coffee break

 

16:45 ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics by Marco Bernardo
17:20 Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks by Alessandro Gianola

 

20:00 Dinner

 

 

Tuesday 17th

 

9:30 Algebra, Coalgebra, Minimization in Polynomial Differential Equations by Michele Boreale
10:05 Bisimulations for Polynomial Differential Equations by Mirco Tribastone

 

10:40 Coffee break

 

11:10 Quantitative Modelling of Cognitive Systems by Paolo Milazzo
11:45 The (Il)logic Way to Signal Classification by Luca Bortolussi

 

12:20 Lunch

 

14:00 Verification of Markov Decision Processes Using Learning: Rigorous and Efficient by Jan Kretinsky
14:35 Verifying the Leakage of Information in Concurrent Systems by Kostantinos Chatzikokolakis
15:10 Information Leakage Games by Catuscia Palamidessi

 

15:45 Coffee break

 

16:15 Weak Simulation Quasimetric in a Gossip Scenario by Simone Tini
16:50 A Quantitative Spectrum for Nondeterministic Probabilistic Processes by Valentina Castiglioni

 

17:25 Closure