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.

33 results · clear filters Sort: newest oldest name

  1. Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
    2025 · Reykjavík, Iceland
    Computer and information sciences
    e11wr8w
  2. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    series, 32 events, 1992 to 2025
    Computer and information sciences
    s10anr4
  3. Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
    2023 · Prague, Czech Republic
    Computer and information sciences
    e11wr7y
  4. Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
    2021 · Birmingham, United Kingdom
    Computer and information sciences
    e11wr60
  5. 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
  6. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e12nzxq
  7. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2017-09-25/28 · Brasília, Brazil
    Computer and information sciences
    e1088kz
  8. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2016-06-27 to 2016-07-02 · Coimbra, Portugal
    Computer and information sciences
    e12nzws
  9. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2015-09-21/24 · Wrocław, Poland
    Computer and information sciences
    e1088j1
  10. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12nzvv
  11. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2013-09-16/19 · Nancy, France
    Computer and information sciences
    e1088h3
  12. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2012-06-26/29 · Manchester, United Kingdom
    Computer and information sciences
    e12nztx
  13. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2011-07-04/08 · Bern, Switzerland
    Computer and information sciences
    e1088g5
  14. TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011
    2011 · Bern, Switzerland
    Computer and information sciences
    e11wr44
  15. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e12nzsz
  16. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2009-07-06/10 · Oslo, Norway
    Computer and information sciences
    e1088f8
  17. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e12nzr1
  18. 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
  19. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12nzq3
  20. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2005-09-14/17 · Koblenz, Germany
    Computer and information sciences
    e1088dc
  21. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e12nzp5
  22. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2003-09-09/12 · Rome, Italy
    Computer and information sciences
    e1088ce
  23. 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
  24. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12nzn7
  25. 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

As JSON: https://labs.confref.org/api/search?series=s10anr4