FINAL PROGRAM
----------------------------------------------------------------------
Saturday 27 March
9.30 - 10.30: Keynote Speaker 1: Prakash Panangaden
10.30 - 11.00: coffee
11.00 - 12.30: Session 1:
C. Hankin and H. Wiklicky
Lambda Calculus and Quantitative Program Analysis
M. Alpuente, M. del Mar Gallardo, E. Pimentel and A. Villanueva
Abstract Model Checking of tccp programs
A. Lluch-Lafuente, U. Montanari
Quantitative mu-calculus and CTL based on constraint semirings
12.30 - 14.00: LUNCH
14.00 - 15.00: Keynote Speaker 2: Wang Yi
15.00 - 16.00: Session 2:
M. Huth
Abstraction and Probabilities for Hybrid Logics
P. Aziz Abdulla, J. d'Orso and A. Rezine
Quantitative Analysis of Infinite Markov Chains
16.00 - 16.30: coffee
16.30 - 17.30: Session 3:
E. Tuosto
Tarzan: Communicating and Moving in wireless Jungles
J. Hurd, A. McIver and C. Morgan
Probabilistic Guarded Commands mechanized in HOL
---------------------------------------------------------------------
Sunday 28 March
09.00 - 10.00: Keynote Speaker 3: Roberto Gorrieri
10.00 - 10.30: coffee
10.30 - 12.30: Session 4:
R. Lanotte, A. Maggiolo-Schettini and A. Troina
Automatic Analysis of a Non-Repudiation Protocol
A. Aldini and A. Di Pierro
On Quantitative Analysis of Probabilistic Protocols
D. Clark, S. Hunt and P. Malacaria
Quantified Interference for a While Language
C. Bodei, M. Buchholtz, P. Degano, M. Curti, C. Priami, F. Nielson and
H.R. Nielson
Performance Evaluation of Security Protocols specified in LYSA
12.30 - 14.30: LUNCH
14.30 - 15.30: Keynote Speaker 4: Peter Harrison
15.30 - 16.00: coffee
16.30 - 18.30: Discussion
---------------------------------------------------------------------
|