Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

28 results · clear filters Sort: newest oldest name

  1. Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (TABLEAUX)
    2019-09-03/05 · London, United Kingdom
    Computer and information sciences
    e11wr52
  2. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e12nzxq
  3. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2017-09-25/28 · Brasília, Brazil
    Computer and information sciences
    e1088kz
  4. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2016-06-27 to 2016-07-02 · Coimbra, Portugal
    Computer and information sciences
    e12nzws
  5. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2015-09-21/24 · Wrocław, Poland
    Computer and information sciences
    e1088j1
  6. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12nzvv
  7. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2013-09-16/19 · Nancy, France
    Computer and information sciences
    e1088h3
  8. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2012-06-26/29 · Manchester, United Kingdom
    Computer and information sciences
    e12nztx
  9. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2011-07-04/08 · Bern, Switzerland
    Computer and information sciences
    e1088g5
  10. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e12nzsz
  11. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2009-07-06/10 · Oslo, Norway
    Computer and information sciences
    e1088f8
  12. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e12nzr1
  13. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2007-07-03/06 · Aix-en-Provence, France
    Computer and information sciences
    e1088ea
  14. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12nzq3
  15. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2005-09-14/17 · Koblenz, Germany
    Computer and information sciences
    e1088dc
  16. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e12nzp5
  17. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2003-09-09/12 · Rome, Italy
    Computer and information sciences
    e1088ce
  18. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2002-07-30 to 2002-08-01 · Copenhagen, Denmark
    Computer and information sciences
    e1088bg
  19. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12nzn7
  20. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2000-07-03/07 · St Andrews, United Kingdom
    Computer and information sciences
    e1088aj
  21. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1999-06-07/11 · Saratoga Springs, United States
    Computer and information sciences
    e10889m
  22. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1998-05-05/08 · Kingdom of the Netherlands
    Computer and information sciences
    e10888p
  23. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1997-05-13/16 · Pont-à-Mousson, France
    Computer and information sciences
    e10887r
  24. International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    1996-05-15/17 · Terrasini, Italy
    Computer and information sciences
    e10886t
  25. International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    1995-05-07/10 · Sankt Goar, Germany
    Computer and information sciences
    e10885w

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s10anr4