TACAS 2019

TACAS 2019
Event in series	TACAS
Dates	2019/04/08 (iCal) - 2019/04/11
Homepage:	https://conf.researchr.org/track/etaps-2019/tacas-2019-papers
Submitting link:	http://www.easychair.org/conferences/?conf=tacas2019
Location:
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

TACAS 2019

TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged. The topics covered by the conference include, but are not limited to:

• specification and verification techniques;
• software and hardware verification;
• analytical techniques for real-time, hybrid, or stochastic systems;
• analytical techniques for safety, security, or dependability;
• SAT and SMT solving;
• theorem-proving;
• model-checking;
• static and dynamic program analysis;
• testing;
• abstraction techniques for modeling and verification;
• compositional and refinement-based methodologies;
• system construction and transformation techniques;
• machine-learning techniques for synthesis and verification;
• tool environments and tool architectures;
• applications and case studies.

25 Years of TACAS

This year we celebrate the 25th TACAS anniversary with a special competition event: TOOLympics. In the scope of TOOLympics, we also hold a panel discussion: Moore’s Law, and More?.

Important Dates

AoE (UTC-12h)

Conference: Mon 8 - Thu 11 Apr 2019

Camera-ready versions; Fri 15 Feb 2019

Notifications: Fri 25 Jan 2019

Full papers due: Fri 16 Nov 2018

Abstracts due: Fri 9 Nov 2018

Program Committee

   Tomas Vojnar
   Tomas VojnarCo-chair
   Brno University of Technology
   Czech Republic
   Lijun Zhang
   Lijun ZhangCo-chair
   Chinese Academy of Sciences
   China
   Marius Mikucionis
   Marius MikucionisTools Chair
   Aalborg University
   Denmark
   Radu Grosu
   Radu GrosuCase Study Chair
   Vienna University of Technology
   Austria
   Dirk Beyer
   Dirk BeyerCompetition chair
   LMU Munich
   Germany
   Parosh Aziz Abdulla
   Parosh Aziz Abdulla
   Uppsala University
   Sweden
   Armin Biere
   Armin Biere
   Johannes Kepler University Linz
   Austria
   Ahmed Bouajjani
   Ahmed Bouajjani
   IRIF, Université Paris Diderot
   France
   Patricia Bouyer
   Patricia Bouyer
   LSV, CNRS & ENS Cachan, University Paris Saclay
   France
   Yu-Fang Chen
   Yu-Fang Chen
   Academia Sinica
   Taiwan
   Maria Christakis
   Maria Christakis
   MPI-SWS
   Germany
   Alessandro Cimatti
   Alessandro Cimatti
   Fondazione Bruno Kessler
   Italy
   Rance Cleaveland
   Rance Cleaveland
   University of Maryland
   United States
   Leonardo De Moura
   Leonardo De Moura
   Microsoft Research
   United States
   Pierre Ganty
   Pierre Ganty
   IMDEA Software Institute
   Spain
   Orna Grumberg
   Orna Grumberg
   Technion – Israel Institute of Technology
   Israel
   Klaus Havelund
   Klaus Havelund
   NASA/Caltech Jet Propulsion Laboratory
   United States
   Holger Hermanns
   Holger Hermanns
   Saarland University
   Germany
   Falk Howar
   Falk Howar
   Technical University Dortmund
   Germany
   Marieke Huisman
   Marieke Huisman
   University of Twente
   Netherlands
   Radu Iosif
   Radu Iosif
   VERIMAG, CNRS, Université Grenoble-Alpes
   France
   Joxan Jaffar
   Joxan Jaffar
   National University of Singapore
   Singapore
   Stefan Kiefer
   Stefan Kiefer
   University of Oxford
   United Kingdom
   Jan Kretinsky
   Jan Kretinsky
   Technical University of Munich
   Germany
   Salvatore La Torre
   Salvatore La Torre
   Università degli Studi di Salerno
   Italy
   Kim Larsen
   Kim Larsen
   Aalborg University
   Denmark
   Annabelle McIver
   Annabelle McIver
   Macquarie University
   Australia
   Roland Meyer
   Roland Meyer
   Technical University of Braunschweig
   Germany
   Sebastian A. Moedersheim
   Sebastian A. Moedersheim
   Technical University of Denmark
   Denmark
   David Parker
   David Parker
   University of Birmingham
   United Kingdom
   Corina S Pasareanu
   Corina S Pasareanu
   NASA Ames Research Center
   United States
   Sanjit Seshia
   Sanjit Seshia
   University of California, Berkeley
   United States
   Parasara Sridhar Duggirala
   Parasara Sridhar Duggirala
   University of Connecticut
   United States
   Bernhard Steffen
   Bernhard Steffen
   Technical University Dortmund
   Germany
   Jan Strejcek
   Jan Strejcek
   Masaryk University
   Czech Republic
   Zhendong Su
   Zhendong Su
   ETH Zurich
   Switzerland
   Meng Sun
   Meng Sun
   Peking University
   China
   Michael Tautschnig
   Michael Tautschnig
   Amazon Web Services
   United Kingdom
   Thomas Wies
   Thomas Wies
   New York University
   United States
   Florian Zuleger
   Florian Zuleger
   Vienna University of Technology
   Austria

Artifact Evaluation Committee

   Ernst Moritz Hahn
   Ernst Moritz HahnAE co-chair
   Queen's University Belfast
   United Kingdom
   Ondrej Lengal
   Ondrej LengalAE co-chair
   Brno University of Technology
   Czech Republic

Steering Committee

   Bernhard Steffen
   Bernhard SteffenChair
   Technical University Dortmund
   Germany
   Dirk Beyer
   Dirk Beyer
   LMU Munich
   Germany
   Rance Cleaveland
   Rance Cleaveland
   University of Maryland
   United States
   Holger Hermanns
   Holger Hermanns
   Saarland University
   Germany
   Kim Larsen
   Kim Larsen
   Aalborg University
   Denmark