2nd Workshop on Quantitative Aspects of Programming Languages

Barcelona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004
OVERVIEW
PROGRAM
IMPORTANT DATES
TOPICS
COMMITTEES
KEYNOTE SPEAKERS
SUBMISSION

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

---------------------------------------------------------------------
BACK TO TOP
Feedback