Home | Scope | Call for Papers [pdf] | Committees | Submission | Important dates | Invited Speakers | Programme |
Programme |
|
Programme of Saturday, April 1 09:15 - 10:30 SESSION 1 10:30 - 11:00 Coffee 11:00 - 12:30 SESSION 2 Sochastic Models Trace semantics for Stochastic Systems with Nondeterminism Verena Wolf, Christel Baier, Mila Majster-Cederbaum Institut fur Informatik, University of Mannheim (Germany) Component-Oriented Specification of Performance Measures Alessandro Aldini, Marco Bernardo Istituto STI, University of Urbino (Italy) Stochastic Ambient Calculus M.G. Vigliotti, P.G. Harrison Department of Computing, Imperial College (UK) 12:30 - 14:00 Lunch 14:00 - 15:30 SESSION 3 14:00 - 15:00 Invited Talk On the Power of a Single Clock Joel Ouaknine (Oxford, UK) 15:00 - 15:30 Paper Presentation Timers for Distributed Systems Gabriel Ciobanu, Cristian Prisacariu Institute of Computer Science, Romanian Academy (Romania) 15:30 - 16:00 Break 16:00 - 17:30 SESSION 4 Process Calculi Beta-binders for biological quantitative experiments Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia Dipartimento di Informatica e Telecomunicazioni, Univ. di Trento (Italy) Expressiveness of probabilistic $pi$-calculi Sylvain Pradalier, Catuscia Palamidessi Lix, Ecole Politechnique (France) Stochastic Fusion Calculus Gabriel Ciobanu, Laura Cornacel Institute of Computer Science, Romanian Academy (Romania) ------------------------------------------------------- Programme of Sunday, April 2 09:00 - 10:30 SESSION 1 09:00 - 10:00 Invited Talk Cryptographic Fulfilment of Distributed-System Specifications Birgit Pfitzmann (IBM, Zurich) 10:00 - 10:30 Abstract Presentation Towards a Quantitative Analysis of Security Protocols Pedro Adao, Paulo Mateus, Tiago Reis, Luca Vigano Information Security, ETH Zurich (Switzerland) 10:30 - 11:00 Coffee 11:00 - 12:30 SESSION 2 Java Quantitative Static Analysis over semirings: application to cache behaviour analysis of Java Card byte code Pascal Sotin, David Cachera, Thomas Jensen IRISA (France) Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting Walter Binder, Jarle Hulaas EPFL (Switzerland) Return Value Prediction meets Information Theory Jeremy Singer, Gavin Brown University of Manchester (UK) 12:30 - 14:00 Lunch 14:00 - 15:30 SESSION 3 14:00 - 15:00 Invited Talk Stochastic Klaim and its logic: A Formal Approach Towards Dependable Global Computing Rocco De Nicola (Florence, Italy) 15:00 - 15:30 Abstract Presentation Formal Analysis of Streaming Downloading Protocol for System Upgrading Miaomiao Zhang, Dang Van Hung UNU-IIST, Tongji University (China) 15:30 - 16:00 Break 16:00 - 17:00 SESSION 4 Declarative Programming Stochastic Concurrent Constraint Programming Luca Bortolussi University of Udine (Italy) Quantitative Datalog Semantics for Databases with Uncertain Information Daniel Stamate Department of Computing, Goldsmiths University of London (UK) |