ETAPS 2014: 5-13 April 2014, Grenoble, France

ETAPS 2014 Programme Sunday April 13th

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