International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)


10th IJCAR 2020: Paris, France

28th TABLEAUX 2019: London, UK

9th IJCAR 2018: Oxford, UK

26th TABLEAUX 2017: Brasília, Brazil

8th IJCAR 2016: Coimbra, Portugal

24th TABLEAUX 2015: Wrocław, Poland

7th IJCAR 2014: Vienna, Austria

22nd TABLEAUX 2013: Nancy, France

6th IJCAR 2012: Manchester, UK

20th TABLEAUX 2011: Bern, Switzerland

5th IJCAR 2010: Edinburgh, UK

18th TABLEAUX 2009: Oslo, Norway

4th IJCAR 2008: Sydney, NSW, Australia

16th TABLEAUX 2007: Aix en Provence, France

15th TABLEAUX / 3rd IJCAR 2006: Seattle, WA, USA

14th TABLEAUX 2005: Koblenz, Germany

13th TABLEAUX / 2nd IJCAR 2004: Cork, County Cork, Ireland

12th TABLEAUX 2003: Rome, Italy

TABLEAUX 2003 Home Page

11th TABLEAUX 2002: Copenhagen, Denmark

10th TABLEAUX 2001: Siena, Italy

TABLEAUX 2001 is fusioned into IJCAR 2001

9th TABLEAUX 2000: University of St Andrews, Scotland

8th TABLEAUX 1999: Saratoga Springs, NY, USA

7th TABLEAUX 1998: Oisterwijk, The Netherlands

6th TABLEAUX 1997: Pont-à-Mousson, France

5th TABLEAUX 1996: Terrasini, Palermo, Italy

4th TABLEAUX 1995: Schloß Rheinfels, St. Goar, Germany

3rd TABLEAUX 1994: Abingdon near Oxford, UK

2nd TABLEAUX 1993: Marseille, France

1st TABLEAUX 1992: Lautenbach near Karlsruhe, Germany

a service of Schloss Dagstuhl - Leibniz Center for Informatics