| Lecturer | Title | ||
| Mon June 20 |
|||
| 08.00-09.00 | breakfast | ||
| 09.15-09.30 | opening of SFM-16:QUANTICOL | ||
| 09.30-12.30 | Giovanna Di Marzo Serugendo
U Geneve CH |
Self-Organization in Distributed Computing Systems |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Carolyn Talcott
SRI International US |
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems |
|
| Tue June 21 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Carlo Ghezzi
Politecnico Milano IT |
Dependability of Adaptable and Evolvable Distributed Systems |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Luca Bortolussi
U Trieste, IT Nicolas Gast INRIA Grenoble Rhone-Alpes, FR |
Mean-Field Limits: Beyond Ordinary Diffential Equations (part 1, part 2) |
|
| Wed June 22 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Jane Hillston
U Edinburgh, UK Michele Loreti U Firenze, IT |
Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Vashti Galpin
U Edinburgh UK |
Spatial Representations and Analysis Techniques (part 1, part 2) |
|
| Thu June 23 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Mieke Massink
CNR-ISTI Pisa, IT Vincenzo Ciancia CNR-ISTI Pisa, IT |
Spatial Logic and Spatial Model Checking (part 1, part 2) |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Radu Grosu
TU Wien, AT Ezio Bartocci TU Wien, AT |
Spatio-Temporal Model Checking | |
| Fri June 24 |
|||
| 08.00-09.00 | breakfast | ||
| 09.30-12.30 | Mirco Tribastone
IMT Lucca, IT Andrea Vandin IMT Lucca, IT |
Quantitative Abstractions for Collective Adaptive Systems (part 1, part 2, examples) |
|
| 12.30-14.00 | lunch | ||
| 15.00-18.00 | Jake Beal
BBN Technologies US |
Aggregate Programming (part 1, part 2, part 3) |
|
| 18.00-18.15 | closing of SFM-16:QUANTICOL | ||