International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

International Conference on Theorem Proving with Analytic Tableaux and Related Methods

Venue statistics

records by year

document access 

    frequent authors

      32nd TABLEAUX 2023: Prague, Czech Republic

      30th TABLEAUX 2021: Birmingham, UK

      28th TABLEAUX 2019: London, UK

      26th TABLEAUX 2017: Brasília, Brazil

      24th TABLEAUX 2015: Wrocław, Poland

      22nd TABLEAUX 2013: Nancy, France

      20th TABLEAUX 2011: Bern, Switzerland

      18th TABLEAUX 2009: Oslo, Norway

      16th TABLEAUX 2007: Aix en Provence, France

      14th TABLEAUX 2005: Koblenz, Germany

      12th TABLEAUX 2003: Rome, Italy

      11th TABLEAUX 2002: Copenhagen, Denmark

      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