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

Search Beta

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

21 results · clear filters Sort: newest oldest name

  1. Formal Methods in Computer-Aided Design 2023 (FMCAD 2023)
    2023-10-23/27 · Ames, United States
    Computer and information sciences
    e113kh1
  2. Formal Methods in Computer-Aided Design 2022 (FMCAD 2022)
    2022-10-17/21 · Trento, Italy
    Computer and information sciences
    e113kg3
  3. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
  4. 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
  5. Formal Methods in Computer-Aided Design 2017 (FMCAD 2017, FMCAD)
    2017-10-02/06 · Vienna, Austria
    Computer and information sciences
    e113ke8
  6. Formal Methods in Computer-Aided Design 2016 (FMCAD 2016, FMCAD)
    2016-10-03/06 · Mountain View, United States
    Computer and information sciences
    e113kda
  7. Formal Methods in Computer-Aided Design 2015 (FMCAD 2015, FMCAD)
    2015-09-27/30 · Austin, United States
    Computer and information sciences
    e113kcc
  8. Formal Methods in Computer-Aided Design 2014 (FMCAD 2014, FMCAD)
    2014-10-21/24 · Lausanne, Switzerland
    Computer and information sciences
    e113kbe
  9. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
  10. Formal Methods in Computer-Aided Design 2012 (FMCAD 2012, FMCAD)
    2012-10-22/25 · Cambridge, United Kingdom
    Computer and information sciences
    e113kag
  11. 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
  12. Formal Methods in Computer-Aided Design 2010 (FMCAD 2010, FMCAD)
    2010-10-20/23 · Lugano, Switzerland
    Computer and information sciences
    e113k9j
  13. Formal Methods in Computer-Aided Design 2009 (FMCAD 2009, FMCAD)
    2009-11-15/18 · Austin, United States
    Computer and information sciences
    e113k8m
  14. Formal Methods in Computer-Aided Design 2008 (FMCAD 2008, FMCAD)
    2008-11-17/20 · Portland, United States
    Computer and information sciences
    e113k7p
  15. Formal Methods in Computer-Aided Design 2007 (FMCAD 2007, FMCAD)
    2007-11-11/14 · Austin, United States
    Computer and information sciences
    e113k6r
  16. Formal Methods in Computer-Aided Design 2006 (FMCAD 2006, FMCAD)
    2006-11-12/16 · San Jose, United States
    Computer and information sciences
    e113k5t
  17. Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)
    2004-11-14/17 · Austin, United States
    Computer and information sciences
    e103bha
  18. Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)
    2002-11-06/08 · Portland, United States
    Computer and information sciences
    e103bgc
  19. Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)
    2000-11-01/03 · Austin, United States
    Computer and information sciences
    e103bff
  20. Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)
    1998-11-04/06 · Palo Alto, United States
    Computer and information sciences
    e103beh
  21. Formal Methods in Computer-Aided Design 1996 (FMCAD 1996, FMCAD)
    1996-11-06/08 · Palo Alto, United States
    Computer and information sciences
    e103bdk

As JSON: https://labs.confref.org/api/search?field=1.2&series=s109pp9&mode=OfflineEventAttendanceMode