Previous Conferences

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) has been held every year since 1992.

  • IJCAR 2016, Coimbra, Portugal, 2016
    (in 2016, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2015, Wrocław, Poland, 19-24 September 2015
  • IJCAR 2014, Vienna, Austria, 19-22 July 2014
    (in 2014, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR, and of the Vienna Summer of Logic)
  • TABLEAUX 2013, Nancy, France, 16-19 September 2013
  • IJCAR 2012, Manchester, United Kingdom, 2012
    (in 2012, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2011, Bern, Switzerland, 4-8 July 2011
  • IJCAR 2010, Edinburgh, UK, 2010
    (in 2010, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2009, Oslo, Norway, 2009
  • IJCAR 2008, Sydney, Australia, 2008
    (in 2008, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2007, Aix en Provence, France, 2007
  • IJCAR 2006, Seattle, USA, 2006
    (in 2006, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005
  • IJCAR 2004, Cork, Ireland, 2004
    (in 2004, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2003, Rome, Italy, 2003
  • TABLEAUX 2002, Copenhagen, Denmark, 2002
    (in 2002, TABLEAUX was part of FLoC'02)
  • IJCAR 2001, Siena, Italy, 2001
    (in 2001, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2000, St. Andrews, Scotland, 2000
  • TABLEAUX '99, Saratoga Springs, NY, USA, 1999
  • TABLEAUX '98, Oisterwijk near Tilburg, The Netherlands, 1998
  • TABLEAUX '97, Pont-à-Mousson near Nancy, France, 1997
  • TABLEAUX '96, Terrasini near Palermo, Italy, 1996
  • TABLEAUX '95, St. Goar near Koblenz, 1995
  • TABLEAUX '94, Abingdon near Oxford, May 4-6, UK, 1994
  • TABLEAUX '93, Marseille, France, April 28-30, 1993
  • TABLEAUX '92, Lautenbach near Karlsruhe, Germany, March 18-20, 1992