Sunday, June 28 | Schedule (and slides) | |
---|---|---|
8:45 -- 9:00 |
Welcome and Introduction |
|
9:00 -- 10:00 | Keynote Talk Thomas Henzinger (EPFL and IST Austria) From Boolean to Quantitative System Specifications (pdf) |
|
10:00 -- 10:30 | Break I | |
10:30 -- 12:00 | Contributed Papers | |
10:30 — 11:00 |
Francesco Logozzo (Microsoft Research), Corneliu Popeea (MPI), and Vincent Laviron (ENS) |
|
11:00 — 11:30 |
Jonathan Heusser and Pasquale Malacaria (Queen Mary, Univ. of London)
|
|
11:30 — 12:00 |
Michael Carl Tschantz (CMU) and Aditya V. Nori (Microsoft Research) Measuring the Loss of Privacy from Statistics (pdf) |
|
12:00 -- 2:00 | Lunch | |
2:00 -- 3:30 | Invited Talks | |
2:00 — 2:30 |
Elvira Albert (Complutense University of Madrid) |
|
2:30 — 3:00 |
Marta Kwiatkowska (Oxford University) |
|
3:00 — 3:30 |
Raimund Kirner (TU Vienna) Timing Analysis of Real-Time Software (pdf) |
|
3:30 -- 4:00 | Break II | |
4:00 -- 5:00 | Open Discussion |