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.

26 results · clear filters Sort: newest oldest name

  1. 22nd ACM Conference on Embedded Networked Sensor Systems (SenSys 2024)
    2024-11-04/07 · Hangzhou, People's Republic of China
    Computer and information sciences
    e11sae4
  2. 21st ACM Conference on Embedded Networked Sensor Systems (SenSys 2023)
    2023-11-13/15 · Istanbul, Turkey
    Computer and information sciences
    e11sad6
  3. Formal Methods in Computer-Aided Design 2023 (FMCAD 2023)
    2023-10-23/27 · Ames, United States
    Computer and information sciences
    e113kh1
  4. 20th ACM Conference on Embedded Networked Sensor Systems (SenSys 2022)
    2022-11-06/09 · Boston, United States
    Computer and information sciences
    e11sac8
  5. Formal Methods in Computer-Aided Design 2022 (FMCAD 2022)
    2022-10-17/21 · Trento, Italy
    Computer and information sciences
    e113kg3
  6. 18th ACM Conference on Embedded Networked Sensor Systems (SenSys 2020)
    2020-11-16/19 · Yokohama, Japan
    Computer and information sciences
    e11saac
  7. 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020)
    2020-04-21/24 · Sydney, Australia
    MathematicsComputer and information sciences
    e10g6nc
  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?discipline=Q3966&mode=OfflineEventAttendanceMode