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. Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025
    2025 · Menlo Park, United States
    Computer and information sciences
    e113kkx
  2. Formal Methods in Computer-Aided Design (FMCAD)
    series, 25 events, 1996 to 2025
    Computer and information sciences
    s109pp9
  3. Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024
    2024 · Prague, Czech Republic
    Computer and information sciences
    e113kjz
  4. Formal Methods in Computer-Aided Design 2023 (FMCAD 2023)
    2023-10-23/27 · Ames, United States
    Computer and information sciences
    e113kh1
  5. Formal Methods in Computer-Aided Design 2022 (FMCAD 2022)
    2022-10-17/21 · Trento, Italy
    Computer and information sciences
    e113kg3
  6. Formal Methods in Computer-Aided Design 2021 (FMCAD 2021)
    2021-10-19/22 · New Haven, United States · online
    Computer and information sciences
    e113kf6
  7. Formal Methods in Computer-Aided Design 2020 (FMCAD 2020)
    2020-09-21/24 · Haifa, Israel · online
    Computer and information sciences
    e10fwe8
  8. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
  9. Formal Methods in Computer-Aided Design 2018 (FMCAD 2018, FMCAD)
    2018-10-30 to 2018-11-02 · Austin, United States
    Computer and information sciences
    e10e8c2
  10. Formal Methods in Computer-Aided Design 2017 (FMCAD 2017, FMCAD)
    2017-10-02/06 · Vienna, Austria
    Computer and information sciences
    e113ke8
  11. Formal Methods in Computer-Aided Design 2016 (FMCAD 2016, FMCAD)
    2016-10-03/06 · Mountain View, United States
    Computer and information sciences
    e113kda
  12. Formal Methods in Computer-Aided Design 2015 (FMCAD 2015, FMCAD)
    2015-09-27/30 · Austin, United States
    Computer and information sciences
    e113kcc
  13. Formal Methods in Computer-Aided Design 2014 (FMCAD 2014, FMCAD)
    2014-10-21/24 · Lausanne, Switzerland
    Computer and information sciences
    e113kbe
  14. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
  15. Formal Methods in Computer-Aided Design 2012 (FMCAD 2012, FMCAD)
    2012-10-22/25 · Cambridge, United Kingdom
    Computer and information sciences
    e113kag
  16. Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)
    2011-10-30 to 2011-11-02 · Austin, United States
    Computer and information sciences
    e10fwh1
  17. Formal Methods in Computer-Aided Design 2010 (FMCAD 2010, FMCAD)
    2010-10-20/23 · Lugano, Switzerland
    Computer and information sciences
    e113k9j
  18. Formal Methods in Computer-Aided Design 2009 (FMCAD 2009, FMCAD)
    2009-11-15/18 · Austin, United States
    Computer and information sciences
    e113k8m
  19. Formal Methods in Computer-Aided Design 2008 (FMCAD 2008, FMCAD)
    2008-11-17/20 · Portland, United States
    Computer and information sciences
    e113k7p
  20. Formal Methods in Computer-Aided Design 2007 (FMCAD 2007, FMCAD)
    2007-11-11/14 · Austin, United States
    Computer and information sciences
    e113k6r
  21. Formal Methods in Computer-Aided Design 2006 (FMCAD 2006, FMCAD)
    2006-11-12/16 · San Jose, United States
    Computer and information sciences
    e113k5t
  22. Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)
    2004-11-14/17 · Austin, United States
    Computer and information sciences
    e103bha
  23. Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)
    2002-11-06/08 · Portland, United States
    Computer and information sciences
    e103bgc
  24. Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)
    2000-11-01/03 · Austin, United States
    Computer and information sciences
    e103bff
  25. Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)
    1998-11-04/06 · Palo Alto, United States
    Computer and information sciences
    e103beh

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