13th International School on Foundations of Security Analysis and Design
Timetable

Sun 1 Sep
19:30 - 21:00 Welcome buffet at the canteen
Mon 2 Sep
09:00 - 11:00 Bogdan Warinschi (pptx)
11:30 - 13:30 Frank Piessens (pdf)
15:00 - 17:00 Bruno Blanchet (intro)
Tue 3 Sep
09:00 - 11:00 Bogdan Warinschi
11:30 - 13:30 Frank Piessens
15:00 - 17:00 Gilles Barthe (pdf)
17:15 - 18:45 Open session 1
Wed 4 Sep
09:00 - 11:00 Bruno Blanchet (proverif)
11:30 - 13:30 Gilles Barthe
15:00 - 18:00 TOOL SESSION:
ActionGUI (M. Guarnieri, ETH)
AVANTSSAR (D. von Oheimb, Siemens)
CL-ATSE (M. Turuani, Inria)
SATMC (R. Carbone, Fondazione Bruno Kessler)
SPaCIoS - slides and demo (A. Armando, Univ. Genova)
19:30 Social dinner
Thu 5 Sep
09:00 - 11:00 Javier Lopez (pdf)
11:30 - 13:30 Kenny Paterson (pdf)
15:00 - 17:00 John Mitchell (pdf)
17:15 - 18:45 Open session 2
Fri 6 Sep
09:00 - 11:00 Javier Lopez
11:30 - 13:30 Kenny Paterson
15:00 - 17:00 John Mitchell
17:15 - 18:45 Open session 3
Sat 7 Sep
Departures
Open session 1
Andrea Saracino, IIT-CNR
Dan Bogdanov, Cybernetica AS (pdf)
Roxana Farcasescu, West Univ. Timisoara
Open session 2
Hirschi Lucca, ENS Cachan (pdf)
Chretien Remy, ENS Cachan (pdf)
Guillaume Scerri, ENS Cachan
Open session 3
Leanid Krautsevich, IIT-CNR (pdf)
Jiangshan Yu, Univ. of Birmingham (pdf)
Per Hallgren, Chalmers Univ. (pdf)