ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Reasoning about observed effects and their causes is important in multi agent contexts. While there has been much work on causality from an objective standpoint, causality from the point of view of some particular agent has received much less attention. In this paper, we address this issue by incorporating an epistemic dimension to an existing formal model of causality. We define what it means for an agent to know the causes of an effect. Then using a counterexample, we prove that epistemic causality is a different notion from its objective counterpart.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 16:00
Workshop Poster Exhibition (Saturday)Posters at Coffee area (Posters)
Chair(s): Jan Kofroň Charles University
10:30
22m
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
10:52
22m
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
11:14
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc Vo Uppsala University
11:36
22m
Poster
VIAP 1.1
Posters
11:58
22m
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
12:20
22m
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore
12:42
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:04
22m
Poster
Ultimate Automizer
Posters
Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
13:26
22m
Poster
CPAchecker with Strategy Selection
Posters
13:48
22m
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:10
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
14:32
22m
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
14:54
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
15:16
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
15:38
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 16:00
Workshop Poster Exhibition (Sunday)Posters at Coffee area (Posters)
10:30
22m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
10:52
22m
Poster
CPAchecker with Strategy Selection
Posters
11:14
22m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
11:36
22m
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
11:58
22m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas Cordeiro University of Oxford, Daniel Kroening University of Oxford, Peter Schrammel University of Oxford, UK
12:20
22m
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-Verona IMT Institute for Advanced Studies Lucca, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy, Max Tschaikowski IMT Institute for Advanced Studies Lucca, Italy, Andrea Vandin DTU, Denmark, Luca Cardelli Microsoft Research and University of Oxford
12:42
22m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne André LIPN, CNRS UMR 7030, Université Paris 13, Vincent Bloemen University of Twente, Laure Petrucci Université Paris 13, Jaco van de Pol Aarhus University
13:04
22m
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov , Heike Wehrheim Paderborn University
13:26
22m
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria Christakis MPI-SWS, Matthias Heizmann University of Freiburg, Muhammad Numair Mansur Max Planck Institute for Software Systems (MPI-SWS), Christian Schilling IST Austria, Valentin Wüstholz ConsenSys Diligence
13:48
22m
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis Michaelides University of Edinburgh, Jane Hillston University of Edinburgh, Guido Sanguinetti University of Edinburgh
14:10
22m
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:32
22m
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc Vo Uppsala University
14:54
22m
Poster
Ultimate Automizer
Posters
Matthias Heizmann University of Freiburg, Yu-Fang Chen Academia Sinica, Daniel Dietsch University of Freiburg, Marius Greitschus , Jochen Hoenicke Universität Freiburg, Yong Li Institute of Software, Chinese Academy of Sciences, Alexander Nutz University of Freiburg, Germany, Pavel Andrianov , Christian Schilling IST Austria, Tanja Schindler University of Freiburg, Andreas Podelski University of Freiburg, Germany
15:16
22m
Poster
VIAP 1.1
Posters
15:38
22m
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore