SUN I - ETAPS 2019

VenueOrea Hotel Pyramida

Room nameSUN I

Floor0

Room InformationNo extra information available

Program

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

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

08:40 - 09:00	OpeningSocial at SUN I

08:40 20m Social Event		Opening Social Joost-Pieter Katoen RWTH Aachen University, Jan Vitek Northeastern University and Czech Technical University, Jan Kofroň Charles University

09:00 - 10:00	ChechikKeynotes at SUN I Chair(s): Joost-Pieter Katoen RWTH Aachen University

09:00 60m Talk		Software Assurance in an Uncertain World Keynotes Marsha Chechik University of Toronto Link to publication File Attached

10:30 - 12:30	SAT and SMT ITACAS at SUN I Chair(s): Lijun Zhang Chinese Academy of Sciences

10:30 30m Talk		Decomposing Farkas Interpolants TACAS Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, Switzerland Link to publication
11:00 30m Talk		Parallel SAT Simplification on GPU Architectures TACAS Muhammad Osama Eindhoven University of Technology, Anton Wijs Eindhoven University of Technology Link to publication
11:30 30m Talk		Encoding Redundancy for Satisfaction-Driven Clause LearningBest paper nomination TACAS Marijn Heule The University of Texas at Austin, Benjamin Kiesl CISPA Helmholtz Center for Information Security, Armin Biere Johannes Kepler University Linz Link to publication
12:00 30m Talk		WAPS: Weighted and Projected Sampling TACAS Rahul Gupta , Shubham Sharma , Subhajit Roy IIT Kanpur, India, Kuldeep S. Meel National University of Singapore Link to publication

14:00 - 16:00	Verification and AnalysisTACAS at SUN I Chair(s): Dirk Beyer LMU Munich

14:00 30m Talk		LCV: A Verification Tool for Linear Controller Software TACAS Junkil Park University of Pennsylvania, Miroslav Pajic Duke University, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee Link to publication
14:30 30m Talk		Semantic Fault Localization and Suspiciousness Ranking TACAS 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 Link to publication
15:00 30m Talk		Computing Coupled Similarity TACAS Benjamin Bisping Technische Universität Berlin, Uwe Nestmann Link to publication
15:30 30m Talk		Reachability Analysis for Termination and Confluence of Rewriting TACAS Christian Sternagel University of Innsbruck, Austria, Akihisa Yamada Link to publication

16:30 - 18:00	SAT Solving and Theorem ProvingTACAS at SUN I Chair(s): Armin Biere Johannes Kepler University Linz

16:30 30m Talk		Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks TACAS Pengfei Gao , Hongyi Xie , Jun Zhang , Fu Song , Taolue Chen Birkbeck, University of London Link to publication
17:00 30m Talk		Incremental Analysis of Evolving Alloy Models TACAS Wenxi Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google, Inc., Milos Gligoric University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin Link to publication
17:30 30m Talk		Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS Petar Vukmirović , Jasmin Blanchette Vrije Universiteit Amsterdam, Simon Cruanes , Stephan Schulz Link to publication

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

09:00 - 10:00	ColcombetKeynotes at SUN I Chair(s): Mikolaj Bojanczyk University of Warsaw

09:00 60m Talk		On infinite duration games Keynotes Thomas Colcombet IRIF, University Paris Diderot and CNRS, France Link to publication File Attached

10:30 - 12:30	SAT and SMT IITACAS at SUN I Chair(s): Armin Biere Johannes Kepler University Linz

10:30 30m Talk		Building Better Bit-Blasting for Floating-Point ProblemsBest paper nomination TACAS Martin Brain , Florian Schanda Zenuity, Youcheng Sun University of Oxford Link to publication
11:00 30m Talk		The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations TACAS Nils Becker , Peter Müller ETH Zurich, Alexander J. Summers ETH Zurich Link to publication
11:30 30m Talk		On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition TACAS Thomas Bläsius , Tobias Friedrich , Andrew Sutton Link to publication
12:00 30m Talk		Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework TACAS Ludovic Le Frioux , Souheib Baarir , Julien Sopena , Fabrice Kordon Sorbonne University — LIP6 Link to publication

14:00 - 16:00	Tool DemosTACAS at SUN I Chair(s): Marius Mikucionis Aalborg University

14:00 15m Talk		nonreach – A Tool for Nonreachability Analysis TACAS Florian Messner , Christian Sternagel University of Innsbruck, Austria Link to publication
14:15 15m Talk		The Quantitative Verification Benchmark Set TACAS Arnd Hartmanns University of Twente, Michaela Klauck Saarland Informatics Campus, Saarland University, David Parker University of Birmingham, Tim Quatmann RWTH Aachen University, Enno Ruijters Link to publication
14:30 15m Talk		ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions TACAS Bo-Yuan Huang Princeton University, USA, Hongce Zhang , Aarti Gupta Princeton University, Sharad Malik Princeton University Link to publication
14:45 15m Talk		MetAcsl: Specification and Verification of High-Level Properties TACAS Virgile Robles , Nikolai Kosmatov CEA List, Virgile Prevosto CEA Tech List, Pascale Le Gall Link to publication
15:00 15m Talk		ROLL 1.0: $\omega$-Regular Language Learning Library TACAS Yu-Fang Chen Academia Sinica, Yong Li Institute of Software, Chinese Academy of Sciences, Xuechao Sun , Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Junnan Xu Link to publication
15:15 15m Talk		Symbolic Regex Matcher TACAS Margus Veanes Microsoft Research, Olli Saarikivi , Eric Xu Microsoft, USA, Tiki Wan Link to publication
15:30 15m Talk		COMPASS 3.0 TACAS Marco Bozzano , Harold Bruintjes , Alessandro Cimatti Fondazione Bruno Kessler, Joost-Pieter Katoen RWTH Aachen University, Thomas Noll RWTH Aachen University, Stefano Tonetta Fondazione Bruno Kessler, Italy Link to publication
15:45 15m Talk		Debugging of Behavioural Models with CLEAR TACAS Gianluca Barbon Universit� Grenoble Alpes, Inria, LIG, Vincent Leroy University of Grenoble - CNRS, Gwen Salaün University of Grenoble Alpes Link to publication

16:30 - 18:00	Model CheckingTACAS at SUN I Chair(s): Florian Zuleger Vienna University of Technology

16:30 30m Talk		VoxLogicA: a Spatial Model Checker for Declarative Image Analysis TACAS Gina Belmonte , Vincenzo Ciancia , Diego Latella , Mieke Massink CNR-ISTI Pisa, Italy Link to publication
17:00 30m Talk		On Reachability in Parameterized Phaser Programs TACAS Petru Eles , Zeinab Ganjei , Ludovic Henrio CNRS, Zebo Peng , Ahmed Rezine Link to publication
17:30 30m Talk		Abstract Dependency Graphs and Their Application to Model CheckingBest paper nomination TACAS Søren Enevoldsen , Kim Larsen Aalborg University, Jiri Srba Link to publication

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

09:00 - 10:00	FisherKeynotes at SUN I Chair(s): Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

09:00 60m Talk		From quadcopters to helicopters: Formal verification to eliminate exploitable bugs Keynotes Kathleen Fisher Tufts University File Attached

10:30 - 12:30	Concurrent and Distributed SystemsTACAS at SUN I Chair(s): Marieke Huisman University of Twente

10:30 30m Talk		Multi-Core On-The-Fly Saturation TACAS Tom van Dijk University of Twente, Jeroen Meijer , Jaco van de Pol Aarhus University Link to publication
11:00 30m Talk		Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude TACAS Si Liu , Peter Ölveczky , Min Zhang East China Normal University, Qi Wang , José Meseguer Link to publication
11:30 30m Talk		The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability TACAS Olav Bunte , Jan Friso Groote , Jeroen J.A. Keiren , Maurice Laveaux , Thomas Neele , Erik P. de Vink , Wieger Wesselink , Anton Wijs Eindhoven University of Technology, Tim A.C. Willemse Link to publication
12:00 30m Talk		Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS Marius Bozga Verimag/CNRS, Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes, Joseph Sifakis Verimag/CNRS Link to publication

14:00 - 16:00	Hybrid and Stochastic SystemsTACAS at SUN I Chair(s): Kim Larsen Aalborg University

14:00 30m Talk		Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments TACAS Satoshi Kura , Natsuki Urabe , Ichiro Hasuo National Institute of Informatics Link to publication
14:30 30m Talk		Computing the Expected Execution Time of Probabilistic Workflow Nets TACAS Philipp J. Meyer , Javier Esparza , Philip Offtermatt Link to publication
15:00 30m Talk		Shepherding Hordes of Markov Chains TACAS Milan Ceska Brno University of Technology , Nils Jansen RWTH Aachen University, Sebastian Junges RWTH Aachen University, Germany, Joost-Pieter Katoen RWTH Aachen University Link to publication
15:30 30m Talk		Optimal Time-Bounded Reachability Analysis for Concurrent Systems TACAS Yuliya Butkova , Gereon Fox Link to publication

16:30 - 18:00	Symbolic VerificationTACAS at SUN I Chair(s): Holger Hermanns Saarland University

16:30 30m Talk		iRank: a variable order metric for DEDS subject to linear invariants TACAS Elvio Gilberto Amparore , Gianfranco Ciardo , Susanna Donatelli , Andrew Miner Link to publication
17:00 30m Talk		Edge-Specified Reduction Binary Decision Diagrams TACAS Junaid Babar , Chuan Jiang , Gianfranco Ciardo , Andrew Miner Link to publication
17:30 30m Talk		Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS Jens Katelaan , Christoph Matheja RWTH Aachen University, Florian Zuleger Vienna University of Technology Link to publication

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

09:00 - 10:00	FlanaganKeynotes at SUN I Chair(s): Tomáš Vojnar Brno University of Technology

09:00 60m Talk		Towards Efficient and Precise Concurrent Software Analysis Keynotes Cormac Flanagan University of California, Santa Cruz File Attached

10:30 - 12:30	SynthesisTACAS at SUN I Chair(s): Roland Meyer Technical University of Braunschweig

10:30 30m Talk		Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach TACAS Mahmoud Khaled TU Munich, Eric Kim , Murat Arcak , Majid Zamani Link to publication
11:00 30m Talk		StocHy: automated verification and synthesis of stochastic processes TACAS Nathalie Cauchi University of Oxford, Alessandro Abate University of Oxford Link to publication
11:30 30m Talk		Minimal-Time Synthesis for Parametric Timed Automata TACAS É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 Link to publication
12:00 30m Talk		Environmentally-friendly GR(1) Synthesis TACAS Rupak Majumdar MPI-SWS, Germany, Nir Piterman , Anne-Kathrin Schmuck Link to publication

14:00 - 16:00	Safety and Fault-tolerant SystemsTACAS at SUN I Chair(s): Rance Cleaveland University of Maryland

14:00 30m Talk		Digital Bifurcation Analysis of TCP Dynamics TACAS Nikola Benes , Lubos Brim , Samuel Pastva , David Safranek Masaryk University Link to publication
14:30 30m Talk		Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS Ilina Stoilkovska Vienna University of Technology , Igor Konnov Inria Nancy, Josef Widder TU Wien, Florian Zuleger Vienna University of Technology Link to publication
15:00 30m Talk		Measuring Masking Fault-Tolerance TACAS Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pedro D'Argenio , Ramiro Demasi , Luciano Putruele Link to publication
15:30 30m Talk		PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ TACAS Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication

16:30 - 18:00	Monitoring and Runtime VerificationTACAS at SUN I Chair(s): Ondřej Lengál Brno University of Technology

16:30 30m Talk		Specification and Efficient Monitoring Beyond STL TACAS Alexey Bakhirkin , Nicolas Basset Link to publication
17:00 30m Talk		VyPR2: A Framework for Runtime Verification of Python Web Services TACAS Joshua Dawes University of Manchester and CERN, Giles Reger University of Manchester, Giovanni Franzoni , Andreas Pfeiffer , Giacomo Govi Link to publication
17:30 30m Talk		Constraint-based Monitoring of Hyperproperties TACAS Christopher Hahn , Marvin Stenger , Leander Tentrup Saarland University Link to publication

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
SUN I									Social Opening				Keynotes Chechik																		TACAS SAT and SMT I																																										TACAS Verification and Analysis																														TACAS SAT Solving and Theorem Proving

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
SUN I	Keynotes Colcombet																		TACAS SAT and SMT II																																										TACAS Tool Demos																														TACAS Model Checking

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
SUN I	Keynotes Fisher																		TACAS Concurrent and Distributed Systems																																										TACAS Hybrid and Stochastic Systems																														TACAS Symbolic Verification

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
SUN I	Keynotes Flanagan																		TACAS Synthesis																																										TACAS Safety and Fault-tolerant Systems																														TACAS Monitoring and Runtime Verification

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
SUN I									ETAPS Social Opening 08:40 - 09:00				ETAPS Keynotes Software Assurance in an Uncertain World 09:00 - 10:00																		TACAS Decomposing Farkas Interpolants 10:30 - 11:00						TACAS Parallel SAT Simplification on GPU Architectures 11:00 - 11:30						TACASBest paper nomination Encoding Redundancy for Satisfaction-Driven Clause Learning 11:30 - 12:00						TACAS WAPS: Weighted and Projected Sampling 12:00 - 12:30																								TACAS LCV: A Verification Tool for Linear Controller Software 14:00 - 14:30						TACAS Semantic Fault Localization and Suspiciousness Ranking 14:30 - 15:00						TACAS Computing Coupled Similarity 15:00 - 15:30						TACAS Reachability Analysis for Termination and Confluence of Rewriting 15:30 - 16:00												TACAS Quantitative Verification of Masked Arithmetic Programs against Side-Ch ... 16:30 - 17:00						TACAS Incremental Analysis of Evolving Alloy Models 17:00 - 17:30						TACAS Extending a Brainiac Prover to Lambda-Free Higher-Order Logic 17:30 - 18:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
SUN I	ETAPS Keynotes On infinite duration games 09:00 - 10:00																		TACASBest paper nomination Building Better Bit-Blasting for Floating-Point Problems 10:30 - 11:00						TACAS The Axiom Profiler: Understanding and Debugging SMT Quantifier Instanti ... 11:00 - 11:30						TACAS On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Trans ... 11:30 - 12:00						TACAS Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painl ... 12:00 - 12:30																								TACAS nonreach – A Tool for Nonreachability Analysis 14:00 - 14:15			TACAS The Quantitative Verification Benchmark Set 14:15 - 14:30			TACAS ILAng: A Modeling Platform for SoC Verification using Instruction-Level ... 14:30 - 14:45			TACAS MetAcsl: Specification and Verification of High-Level Properties 14:45 - 15:00			TACAS ROLL 1.0: $\omega$-Regular Language Learning Library 15:00 - 15:15			TACAS Symbolic Regex Matcher 15:15 - 15:30			TACAS COMPASS 3.0 15:30 - 15:45			TACAS Debugging of Behavioural Models with CLEAR 15:45 - 16:00									TACAS VoxLogicA: a Spatial Model Checker for Declarative Image Analysis 16:30 - 17:00						TACAS On Reachability in Parameterized Phaser Programs 17:00 - 17:30						TACASBest paper nomination Abstract Dependency Graphs and Their Application to Model Checking 17:30 - 18:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
SUN I	ETAPS Keynotes From quadcopters to helicopters: Formal verification to eliminate explo ... 09:00 - 10:00																		TACAS Multi-Core On-The-Fly Saturation 10:30 - 11:00						TACAS Automatic Analysis of Consistency Properties of Distributed Transaction ... 11:00 - 11:30						TACAS The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Exp ... 11:30 - 12:00						TACAS Checking Deadlock-Freedom of Parametric Component-Based Systems 12:00 - 12:30																								TACAS Tail Probabilities for Runtimes of Randomized Programs: Martingale Synt ... 14:00 - 14:30						TACAS Computing the Expected Execution Time of Probabilistic Workflow Nets 14:30 - 15:00						TACAS Shepherding Hordes of Markov Chains 15:00 - 15:30						TACAS Optimal Time-Bounded Reachability Analysis for Concurrent Systems 15:30 - 16:00												TACAS iRank: a variable order metric for DEDS subject to linear invariants 16:30 - 17:00						TACAS Edge-Specified Reduction Binary Decision Diagrams 17:00 - 17:30						TACAS Effective Entailment Checking for Separation Logic with Inductive Defin ... 17:30 - 18:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
SUN I	ETAPS Keynotes Towards Efficient and Precise Concurrent Software Analysis 09:00 - 10:00																		TACAS Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Ap ... 10:30 - 11:00						TACAS StocHy: automated verification and synthesis of stochastic processes 11:00 - 11:30						TACAS Minimal-Time Synthesis for Parametric Timed Automata 11:30 - 12:00						TACAS Environmentally-friendly GR(1) Synthesis 12:00 - 12:30																								TACAS Digital Bifurcation Analysis of TCP Dynamics 14:00 - 14:30						TACAS Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Mo ... 14:30 - 15:00						TACAS Measuring Masking Fault-Tolerance 15:00 - 15:30						TACAS PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ 15:30 - 16:00												TACAS Specification and Efficient Monitoring Beyond STL 16:30 - 17:00						TACAS VyPR2: A Framework for Runtime Verification of Python Web Services 17:00 - 17:30						TACAS Constraint-based Monitoring of Hyperproperties 17:30 - 18:00

Room information: SUN I

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

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

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

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

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

Social

Keynotes

TACAS

TACAS

TACAS

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

Keynotes

TACAS

TACAS

TACAS

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

Keynotes

TACAS

TACAS

TACAS

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

Keynotes

TACAS

TACAS

TACAS

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

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

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

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

ETAPS 2019

Co-hosted Conferences

Workshops

Room information: SUN I

Program Display Configuration

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Social

Keynotes

TACAS

TACAS

TACAS

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

TACAS

TACAS

TACAS

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

TACAS

TACAS

TACAS

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

TACAS

TACAS

TACAS

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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