Programme of QAPL

SATURDAY, March 27

9.30
10.30
Invited Speaker
Prakash Panangaden

10.30
11.00
Coffee
11.00
12.30
Lambda Calculus and Quantitative Program Analysis
C. Hankin and H. Wiklicky

Abstract Model Checking of tccp programs
M. Alpuente, M. del Mar Gallardo, E. Pimentel and A. Villanueva

Quantitative mu-calculus and CTL based on constraint semirings
A. Lluch-Lafuente, U. Montanari
12.30
14.30
Lunch
14.00
15.00
Invited Speaker
Wang Yi

15.00
16.00
Abstraction and Probabilities for Hybrid Logics
M. Huth

Quantitative Analysis of Infinite Markov Chains
 
P. Aziz Abdulla, J. d'Orso and A. Rezine
16.00
16.30
Coffee
16.30
17.30
Tarzan: Communicating and Moving in wireless Jungles
E. Tuosto

Probabilistic Guarded Commands mechanized in HOL
J. Hurd, A. McIver and C. Morgan

SUNDAY, March 28

9.00
10.00
Invited Speaker
Roberto Gorrieri

10.00
10.30
Coffee
10.30
12.30
Automatic Analysis of a Non-Repudiation Protocol
R. Lanotte, A. Maggiolo-Schettini and A. Troina

On Quantitative Analysis of Probabilistic Protocols
A. Aldini and A. Di Pierro

Quantified Interference for a While Language
D. Clark, S. Hunt and P. Malacaria

Performance Evaluation of Security Protocols specified in LYSA
C. Bodei, M. Buchholtz, P. Degano, M. Curti, C. Priami, F. Nielson and H.R. Nielson
12.30
14.30
Lunch
14.30
15.30
Invited Speaker
Peter Harrison
15.30
16.00
Coffee
17.00
18.30
Discussion
Evening Pre-Conference Workshops Dinner