| Sunday, April 13th |
| 09h00 - 10h30 |
GALOP
Room: F018 |
- Ulrich Schöpp. TBA (invited talk)
- Paul Blain Levy and Sam Staton. Compositionality for Transition Systems Over Games
|
QAPL
Room: F022 |
- Enrico Vicario. Quantitative evaluation of concurrent systems with non-Markovian temporal parameters (invited talk)
- Clemens Dubslaff, Sascha Kluppeholz, Christel Baier. Probabilistic Software Product Line Model Checking
|
|
| 10h30 - 11h00 |
Coffee Break |
| 11h00 - 12h30 |
GALOP
Room: F018 |
- Michele Basaldella. An interactive semantics for classical arithmetic
- Rodolphe Lepigre. Realizability, Testing and Game Semantics
|
QAPL
Room: F022 |
- Cheng Feng. Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
- Jean-Francois Kempf, Olivier Lebeltel, and Oded Maler. Formal and Informal Methods for Multi-Core Design Space Exploration
- David Spieler, Ernst Moritz Hahn, and Lijun Zhang. Model Checking CSL for Markov Population Models
|
|
| 12h30 - 14h00 |
Lunch |
| 14h00 - 16h00 |
GALOP
Room: F018 |
- Eugenia Sironi. Type Theory in Ludics
- Naohiko Haoshiko, Koko Muroya and Ichiro Hasuo. Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
|
QAPL
Room: F022 |
- Nicolas Markey. Robustness issues in timed automata (invited talk)
- Tomasz Kloda, Bruno d'Ausbourg, and Luca Santinelli. Towards a More Flexible Timing Definition Language
- Alexander Andreychenko, Linar Mikeev, and Verena Wolf. Moment closure approximation and distribution reconstruction for Markov Population Models
- Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, and Chunyan Mu. Entropy model checking
|
|
| 16h00 - 16h30 |
Coffee Break |
| 16h30 - 18h00 |
QAPL
Room: F022 |
- Jonathan M. Smith, Neil J. Ross, Peter Selinger, and Benoit Valiron. Quipper: Concrete Resource Estimation in Quantum Algorithms
- Alessandra Di Pierro and Federica Panarotto. A Calculus for Topological Quantum Computation
|
|