Program - ETAPS 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

09:00 - 10:30	Actual causationCREST at S6

09:00 45m Talk		Probabilistic Actual Causation CREST Luke Fenton-Glynn University College London File Attached
09:45 25m Research paper		Causality & Control flow [Robert Kunnemann, Deepak Garg, Michael Backes] CREST File Attached
10:10 20m Research paper		Extending Causal Models from Machines into Humans [Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Ludtke] CREST File Attached

11:00 - 12:30	Causal discovery methodsCREST at S6

11:00 45m Talk		Computational Causal Discovery and its Applications CREST Sisi Ma University of Minnesota File Attached
11:45 45m Talk		Towards a Science of Perspicuous Computing - Lessons learnt from the Analysis of Automotive Emissions Control Systems CREST Holger Hermanns Saarland University File Attached

14:00 - 15:30	Algebraic approaches to causalityCREST at S6

14:00 45m Talk		Coalgebras for causality CREST Matteo Sammartino University College London File Attached
14:45 45m Talk		Causality and diagrammatic reasoning CREST Jean Krivine CNRS

16:00 - 18:00	Causality, repairs and multi-agent systemsCREST at S6

16:00 45m Talk		Analysis, Repair and Causality for Timed Diagnostic Traces CREST Stefan Leue University of Konstanz File Attached
16:45 25m Research paper		Justification Based Reasoning in Dynamic Conflict Resolution [Werner Damm, Martin Franzle, Willem Hagemann, Paul Kroger, Astrid Rakow] CREST File Attached
17:10 25m Research paper		Towards A Logical Account of Epistemic Causality [Shakil M. Khan, Mikhail Soutchanski] CREST File Attached

CREST 2019 Program

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

ETAPS 2019

Co-hosted Conferences

Workshops

CREST 2019 Program

Switch Program View

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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