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.

26 results · clear filters Sort: newest oldest name

  1. Frontiers of Combining Systems - 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
    2025 · Reykjavík, Iceland
    Computer and information sciences
    e113yjm
  2. International Symposium on Frontiers of Combining Systems (FroCoS)
    series, 25 events, 1996 to 2025
    Computer and information sciences
    s109qes
  3. Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
    2023 · Prague, Czech Republic
    Computer and information sciences
    e113yhp
  4. Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
    2021 · Birmingham, United Kingdom
    Computer and information sciences
    e113ygr
  5. Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (FROCOS)
    2019-09-04/06 · London, United Kingdom
    Computer and information sciences
    e113yfv
  6. Frontiers of Combining Systems (FroCoS) (FROCOS)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e12k5q1
  7. International Joint Conference on Automated Reasoning (IJCAR)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e12m6ha
  8. International Symposium on Frontiers of Combining Systems (FroCoS)
    2017-09-27/29 · Brasília, Brazil
    Computer and information sciences
    e103gfa
  9. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2016)
    2016-06-27 to 2016-07-02 · Coimbra, Portugal
    Computer and information sciences
    e103gec
  10. International Symposium on Frontiers of Combining Systems (FROCOS)
    2015-09-21/24 · Wrocław, Poland
    Computer and information sciences
    e103gde
  11. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e103gcg
  12. International Symposium on Frontiers of Combining Systems (FroCoS 2013, FroCoS)
    2013-09-18/20 · Nancy, France
    Computer and information sciences
    e103gbj
  13. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2012)
    2012-06-26/29 · Manchester, United Kingdom
    Computer and information sciences
    e103gam
  14. International Symposium on Frontiers of Combining Systems (FroCoS)
    2011-10-05/07 · Saarbrücken, Germany
    Computer and information sciences
    e103g9p
  15. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2010)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e103g8r
  16. International Symposium on Frontiers of Combining Systems (FroCoS)
    2009-09-16/18 · Trento, Italy
    Computer and information sciences
    e103g7t
  17. International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2008)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e103g6w
  18. International Symposium on Frontiers of Combining Systems (FroCoS 2007, FroCoS)
    2007-09-10/12 · Liverpool, United Kingdom
    Computer and information sciences
    e103g5y
  19. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e103g40
  20. International Workshop on Frontiers of Combining Systems (FroCoS)
    2005-09-19/21 · Vienna, Austria
    Computer and information sciences
    e103g32
  21. International Joint Conference on Automated Reasoning (FROCOS, IJCAR)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e103g24
  22. International Workshop on Frontiers of Combining Systems (FroCoS)
    2002-04-08/10 · Santa Margherita Ligure, Italy
    Computer and information sciences
    e103g16
  23. International Joint Conference on Automated Reasoning (IJCAR)
    2001-06-18/23 · Siena, Italy
    Computer and information sciences
    e103g08
  24. International Workshop on Frontiers of Combining Systems (FroCoS)
    2000-03-22/24 · Nancy, France
    Computer and information sciences
    e103fza
  25. Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings (FROCOS)
    1998-01-01 · Kingdom of the Netherlands
    Computer and information sciences
    e113yex

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