ETAPS 2015: 11-18 April 2015, London, UK
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:
See the ETAPS 2015 joint call for papers. Submit your paper via the TACAS 2015 author interface of EasyChair.
TACAS 2015 will not have 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 2015 hosts the 4th 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.
Wang Yi (Uppsala University, Sweden)
Christel Baier (Technische Universität Dresden, Germany)Cesare Tinelli (The University of Iowa, USA)
Jaco van de Pol (Universiteit Twente)
Erika Ábrahám (RWTH Aachen, Germany)Nathalie Bertrand (IRISA Rennes, France)Armin Biere (Johannes Kepler Universität, Austria)Patricia Bouyer-Decitre (CNRS Cachan, France)Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
Rance Cleaveland (University of Maryland, USA)Cindy Eisner (IBM Research Haifa, Israel)Uli Fahrenberg (IRISA Rennes, France)Hubert Garavel (INRIA Grenoble - Rhône-Alpes, France)Patrice Godefroid (Microsoft Research, Redmond, USA)Susanne Graf (Verimag, France)Orna Grumberg (Technion, Israel)Arie Gurfinkel (Software Engineering Institute, USA)Klaus Havelund (NASA Jet Propulsion Lab, USA)Holger Hermanns (Universität des Saarlandes, Germany)
Reiner Hähnle (Technische Universität Darmstadt, Germany)Daniel Kröning (University of Oxford, UK)Kim G. Larsen (Aalborg Universitet, Denmark)Tiziana Margaria-Steffen (Universität Potsdam, Germany)Ken McMillan (Microsoft Research, Redmond, USA)
Tobias Nipkow (Technische Universität München, Germany)David Parker (University Birmingham, UK)Corina Pasareanu (NASA Ames Research Center, USA)Ruzica Piskac (Yale University, USA)Jean-François Raskin (Université Libre de Bruxelles, Belgium)
Philip Rümmer (Uppsala Universitet, Sweden)Sriram Sankaranarayanan (University of Colorado at Boulder, USA)Scott Smolka (Stony Brook University, USA)Bernhard Steffen (Technische Universität Dortmund, Germany)Helmut Veith (Technische Universität Wien, Austria)
Willem Visser (Stellenbosch University, South Africa)Heike Wehrheim (Universität Paderborn, Germany)Lenore Zuck (University of Illinois at Chicago, USA)
Rance Cleaveland (University of Maryland, USA)Holger Hermanns (Universität des Saarlandes, Germany)Kim G. Larsen (Aalborg Universitet, Denmark)Bernhard Steffen (Technische Universität Dortmund, Germany) Lenore Zuck (University of Illinois at Chicago, USA)
We have 2710 guests and no members online