ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands
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 2016 joint call for papers. Submit your paper via the TACAS 2016 author interface of EasyChair.
TACAS 2016 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 2016 hosts the 5th 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.
Marsha Chechik (University of Toronto, Canada)Jean-François Raskin (Université Libre de Bruxelles, Belgium)
Radu Mateescu (INRIA Grenoble - Rhône-Alpes, France)
Parosh Aziz Abdulla (Uppsala Universitet, Sweden)Aws Albarghouthji (University of Wisconsin-Madison, USA)Christel Baier (Technische Universität Dresden, Germany)Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique, France)Patricia Bouyer (LSV, CNRS & ENS Cachan, France)
Radu Calinescu (University of York, UK)Franck Cassez (NICTA, Australia)Pavol Cerny (University of Colorado Boulder, USA)Krishnendu Chatterjee (Institute of Science and Technology, Austria)Rance Cleaveland (University of Maryland, USA)
Javier Esparza (Technische Universität München, Germany)Pierre Ganty (IMDEA Software, Spain)Radu Grosu (Technische Universität Wien, Austria / Stony Brook University, USA)Orna Grumberg (Technion, Israel)Arie Gurfinkel (Carnegie Mellon University, USA)
Holger Hermanns (Universität des Saarlandes, Germany)Zachary Kincaid (University of Toronto, Canada)Daniel Kroening (University of Oxford, UK)Akash Lal (Microsoft Research, India)Kim G. Larsen (Aalborg Universitet, Denmark)
Rupak Majumdar (MPI-SWS, Germany)Tiziana Margaria (Universität Potsdam, Germany / University of Limerick, Ireland)Nicolas Markey (LSV, CNRS & ENS Cachan, France)Roland Meyer (Universität Kaiserslautern, Germany)Corina Pasareanu (Carnegie Mellon University / NASA Ames Research Center, USA)
Nir Piterman (University of Leicester, UK)Grigore Rosu (University of Illinois at Urbana-Champaign, USA)Natasha Sharygina (Università della Svizzera Italiana, Switzerland)Bernhard Steffen (Technische Universität Dortmund, Germany)Cesare Tinelli (The University of Iowa, USA)
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)Dirk Beyer (University of Passau, Germany)
We have 77 guests and no members online