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.

14 results · clear filters Sort: newest oldest name

  1. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
    series, 32 events, 1995 to 2026
    Computer and information sciences
    s10b3f7
  2. ACM Conference on Embedded Networked Sensor Systems (SenSys)
    series, 26 events, 2003 to 2026
    Computer and information sciences
    s10mgwc
  3. Formal Methods in Computer-Aided Design (FMCAD)
    series, 25 events, 1996 to 2025
    Computer and information sciences
    s109pp9
  4. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
  5. Proceedings of the 1st Workshop on Machine Learning on Edge in Sensor Systems, SenSys-ML 2019, New York, NY, USA, November 10, 2019.
    2019 · New York City, United States
    Computer and information sciences
    e11s9pm
  6. 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
  7. Formal Methods in Computer-Aided Design 2017 (FMCAD 2017, FMCAD)
    2017-10-02/06 · Vienna, Austria
    Computer and information sciences
    e113ke8
  8. Formal Methods in Computer-Aided Design 2016 (FMCAD 2016, FMCAD)
    2016-10-03/06 · Mountain View, United States
    Computer and information sciences
    e113kda
  9. Formal Methods in Computer-Aided Design 2015 (FMCAD 2015, FMCAD)
    2015-09-27/30 · Austin, United States
    Computer and information sciences
    e113kcc
  10. Formal Methods in Computer-Aided Design 2014 (FMCAD 2014, FMCAD)
    2014-10-21/24 · Lausanne, Switzerland
    Computer and information sciences
    e113kbe
  11. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
  12. Formal Methods in Computer-Aided Design 2012 (FMCAD 2012, FMCAD)
    2012-10-22/25 · Cambridge, United Kingdom
    Computer and information sciences
    e113kag
  13. 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
  14. Formal Methods in Computer-Aided Design 2010 (FMCAD 2010, FMCAD)
    2010-10-20/23 · Lugano, Switzerland
    Computer and information sciences
    e113k9j

As JSON: https://labs.confref.org/api/search?discipline=Q3966&from=2010&to=2019