ETAPS 2014: 5-13 April 2014, Grenoble, France
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 serves 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:
See the common call for papers of ETAPS 2014. Submit your paper via the TACAS 2014 author interface of EasyChair.
TACAS 2014 will not use a rebuttal phase.
TACAS accepts four types of submissions: research papers, case study papers, regular tool papers, and tool demonstration papers. Papers of all four types will appear in the proceedings and have presentations during the conference.
All papers will be evaluated by the TACAS programme committee, coordinated by the TACAS co-chairs for research papers and case study papers, and by the TACAS tool chair for regular tool papers and tool demonstration papers.
TACAS 2014 hosts the third competition on software verification with the goal to evaluate technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency. More information can be found on the webpage of the competition.
Orna Kupferman (Hebrew University Jerusalem, Israel)
Erika Ábrahám (RWTH Aachen University, Germany)Klaus Havelund (NASA JPL, USA)
Nikolaj Bjørner (Microsoft Research, USA)
Christel Baier (Technische Universität Dresden, Germany)Saddek Bensalem (VERIMAG/UJF, France)Nathalie Bertrand (Inria/IRISA, France)Armin Biere (Johannes Kepler University, Austria)Nikolaj Bjørner (Microsoft Research, USA)Alessandro Cimatti (Fondazione Bruno Kessler, Italy)Rance Cleaveland (University of Maryland, USA)Cindy Eisner (IBM Research - Haifa, Israel)Martin Fränzle (Carl von Ossietzky University Oldenburg, Germany)Patrice Godefroid (Microsoft Research, Redmond, USA)Susanne Graf (Verimag, France)Orna Grumberg (Technion, Israel)Boudewijn Haverkort (University of Twente, The Netherlands)Gerard Holzmann (NASA JPL, USA)Barbara Jobstmann (Verimag/CNRS, France and EPFL, Switzerland)Joost-Pieter Katoen (RWTH Aachen University, Germany, and University of Twente, The Netherlands)Kim Larsen (Aalborg University, Denmark)Roland Meyer (TU Kaiserslautern, Germany)Corina Pasareanu (NASA Ames Research Center, USA)Doron Peled (Bar Ilan University, Israel)Paul Pettersson (Mälardalen University, Sweden)Nir Piterman (University of Leicester, UK)Jaco van de Pol (University of Twente, The Netherlands)Sriram Sankaranarayanan (University of Colorado Boulder, USA)Natasha Sharygina (Universita della Svizzera Italiana, Switzerland)Scott Smolka (Stony Brook University, USA)Bernhard Steffen (TU Dortmund, Germany)Mariëlle Stoelinga (University of Twente, The Netherlands)Cesare Tinelli (The University of Iowa, USA)Frits Vaandrager (Radboud University Nijmegen, The Netherlands)Willem Visser (University of Stellenbosch, South Africa)Ralf Wimmer (University of Freiburg, Germany)Lenore Zuck (University of Illinois at Chicago, USA)
Rance Cleaveland (University of Maryland, USA)Holger Hermanns (Saarland University, Germany)Kim G. Larsen (Aalborg University, Denmark)Bernhard Steffen (TU Dortmund, Germany) Lenore Zuck (University of Illinois at Chicago, USA)
We have 20 guests and no members online