Past Events

TACAS 2018

Artifacts: figshare.com

Tools chair: Goran Frehse (Université Grenoble Alpes, FR)

Location: Thessaloniki, Greece

TACAS 2017

Tools chair: David Parker (University of Birmingham, GB)

Location: Uppsala, Sweden

TACAS 2016

Tools chair: Radu Mateescu (INRIA Grenoble Rhône-Alpes, FR)

Location: Eindhoven, Netherlands

TACAS 2015

Tools chair: Jaco van de Pol (Universiteit Twente, NL)

Location: London, United Kingdom

TACAS 2014

Tools chair: Nikolaj Bjørner (Microsoft Research, USA)

Location: Grenoble, France

TACAS 2013

Tools chair: Claude Marché (INRIA Saclay, France)

Location: Rome, Italy

TACAS 2012

Tools chair: Alessandro Cimatti (FBK-irst, Italy)

Location: Tallinn, Estonia

TACAS 2011

Tools chair: Alessandro Cimatti (FBK-irst, Italy)

Location: Saarbrücken, Germany

TACAS 2010

Tools chair: Armin Biere (Johannes Kepler University, Linz, Austria)

Location: Paphos, Cyprus

TACAS 2009

Location: York, UK

TACAS 2008

Tools chair: Byron Cook (Microsoft Research, Cambridge, UK)

Location: Budapest, Hungary

TACAS 2007

Tools chair: Byron Cook (Microsoft Research, Cambridge, UK)

Location: Braga, Portugal

TACAS 2006

Tools chair: Thierry Jeron (IRISA, Rennes, France)

Location: Vienna, Austria

TACAS 2005

Tools chair: Andreas Kuehlmann (Cadence Berkeley Labs, Berkeley, USA)

Location: Edinburgh, UK

TACAS 2004

Tools chair: Bernhard Steffen (Universität Dortmund, Germany)

Location: Barcelona, Spain

TACAS 2003

Tools chair: Kurt Jensen (University of Aarhus, Denmark)

Location: Warsaw, Poland

TACAS 2002

Tools chair: Hubert Garavel (INRIA Grenoble Rhône-Alpes, France)

Location: Grenoble, France

TACAS 2001

Location: Genova, Italy

TACAS 2000

Location: Berlin, Germany

TACAS 1999

Location: Amsterdam, The Netherlands

TACAS 1998

Location: Lisbon, Portugal

TACAS 1997

Location: Enschede, The Netherlands

TACAS 1996

Location: Passau, Germany

TACAS 1995

Location: Aarhus, Denmark