Programme of QAPL at ETAPS 2006

(Fourth Workshop on Quantitative Aspects of Programming Languages)

Saturday, April 1

09:15 - 10:30 SESSION 1 (QAPL, Saturday, April 1, room: EI 4)

Welcome
Invited Talk
Modelling and Verification of Real-Time Systems with UML and IF: Some Experimental Results and Future Plans
Susanne Graf (VERIMAG, Grenoble, F)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (QAPL, Saturday, April 1, room: EI 4)

Sochastic Models
Trace semantics for Stochastic Systems with Nondeterminism
Verena Wolf, Christel Baier, and Mila Majster-Cederbaum (Univ. of Mannheim, D)
Component-Oriented Specification of Performance Measures
Alessandro Aldini and Marco Bernardo (Univ. of Urbino, I)
Stochastic Ambient Calculus
M.G. Vigliotti and P.G. Harrison (Imperial College, UK)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (QAPL, Saturday, April 1, room: EI 4)

Invited Talk
On the Power of a Single Clock
Joel Ouaknine (Oxford, UK)
Presentation
Timers for Distributed Systems
Gabriel Ciobanu and Cristian Prisacariu (Romanian Academy, RO)

15:30 - 16:00 Coffee

16:00 - 17:30 SESSION 4 (QAPL, Saturday, April 1, room: EI 4)

Process Calculi
Beta-Binders for Biological Quantitative Experiments
Pierpaolo Degano, Davide Prandi, Corrado Priami, and Paola Quaglia (Univ. di Trento, I)
Expressiveness of Probabilistic π-Calculi
Sylvain Pradalier and Catuscia Palamidessi (Lix, Ecole Politechnique, F)
Stochastic Fusion Calculus
Gabriel Ciobanu and Laura Cornacel (Romanian Academy, RO)

19:30 SOCIAL EVENT (Saturday, April 1)

Joint Workshops Post-Conference Dinner
Dinner at the restaurant Wiener Rathauskeller, Lanner Saal, Rathausplatz 1, 1010 Wien

Sunday, April 2

09:00 - 10:30 SESSION 1 (QAPL, Sunday, April 2, room: EI 4)

Invited Talk
Cryptographic Fulfilment of Distributed-System Specifications
Birgit Pfitzmann (IBM, Zurich, CH)
Abstract Presentation
Towards a Quantitative Analysis of Security Protocols
Pedro Adao, Paulo Mateus, Tiago Reis, and Luca Vigano (ETH Zurich, CH)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (QAPL, Sunday, April 2, room: EI 4)

Java
Quantitative Static Analysis over Semirings: Application to Cache Behaviour Analysis of Java Card Byte Code
Pascal Sotin, David Cachera, and Thomas Jensen (IRISA, F)
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting
Walter Binder and Jarle Hulaas (EPFL, CH)
Return Value Prediction meets Information Theory
Jeremy Singer and Gavin Brown (Univ. of Manchester, UK)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (QAPL, Sunday, April 2, room: EI 4)

Invited Talk
Stochastic Klaim and its Logic: A Formal Approach Towards Dependable Global Computing
Rocco De Nicola (Florence, I)
Abstract Presentation
Formal Analysis of Streaming Downloading Protocol for System Upgrading
Miaomiao Zhang and Dang Van Hung (Tongji Univ.\, CN)

15:30 - 16:00 Coffee

16:00 - 17:00 SESSION 4 (QAPL, Sunday, April 2, room: EI 4)

Declarative Programming
Stochastic Concurrent Constraint Programming
Luca Bortolussi (Univ. of Udine, I)
Quantitative Datalog Semantics for Databases with Uncertain Information
Daniel Stamate (Goldsmiths Univ. of London, UK)

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23