Programme of QAPL at ETAPS 2006
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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23