TABLEAUX

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Previous Conferences

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

  • TABLEAUX 2023, Prague, Czech Republic, 18-21 September 2023
  • IJCAR 2022, Haifa, Israel, 8-10 August 2022
    (in 2022, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2021, Birmingham, UK, 6-9 September 2021
  • IJCAR 2020, virtual/online, 29 June - 6 July 2020
    (in 2020, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2019, London, UK, 3-5 September 2019
  • IJCAR 2018, Oxford, UK, 14-17 July 2018
    (in 2018, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2017, Brasília, Brazil, 25-28 September 2017
  • IJCAR 2016, Coimbra, Portugal, 27 June - 2 July 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, 26 June - 1 July 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, 16-19 July 2010
    (in 2010, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2009, Oslo, Norway, 6-10 July 2009
  • IJCAR 2008, Sydney, Australia, 12-15 August 2008
    (in 2008, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2007, Aix en Provence, France, 3-6 July 2007
  • IJCAR 2006, Seattle, USA, 17-20 August 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, 4-8 July 2004
    (in 2004, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2003, Rome, Italy, 9-12 September 2003
  • TABLEAUX 2002, Copenhagen, Denmark, 30 July - 1 August 2002
    (in 2002, TABLEAUX was part of FloC’02)
  • IJCAR 2001, Siena, Italy, 18-23 June 2001
    (in 2001, TABLEAUX was part of the International Joint Conference on Automated Reasoning, IJCAR)
  • TABLEAUX 2000, St. Andrews, Scotland, 3-7 July 2000
  • TABLEAUX ‘99, Saratoga Springs, NY, USA, 7-11 June 1999
  • TABLEAUX ‘98, Oisterwijk near Tilburg, The Netherlands, 5-8 May 1998
  • TABLEAUX ‘97, Pont-à-Mousson near Nancy, France, 13-16 May 1997
  • TABLEAUX ‘96, Terrasini near Palermo, Italy, 15-17 May 1996
  • TABLEAUX ‘95, St. Goar near Koblenz, 7-10 May 1995
  • TABLEAUX ‘94, Abingdon near Oxford, UK, 4-6 May 1994
  • TABLEAUX ‘93, Marseille, France, 28-30 April 1993
  • TABLEAUX ‘92, Lautenbach near Karlsruhe, Germany, 18-20 March 1992