45 results · clear filters Sort: newest oldest name

1. 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
2. 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
3. Formal Methods in Computer-Aided Design 2017 (FMCAD 2017, FMCAD)
   2017-10-02/06 · Vienna, Austria
   Computer and information sciences
   e113ke8
4. Formal Methods in Computer-Aided Design 2016 (FMCAD 2016, FMCAD)
   2016-10-03/06 · Mountain View, United States
   Computer and information sciences
   e113kda
5. Formal Methods in Computer-Aided Design 2015 (FMCAD 2015, FMCAD)
   2015-09-27/30 · Austin, United States
   Computer and information sciences
   e113kcc
6. Formal Methods in Computer-Aided Design 2014 (FMCAD 2014, FMCAD)
   2014-10-21/24 · Lausanne, Switzerland
   Computer and information sciences
   e113kbe
7. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
   2013-10-20/23 · Portland, United States
   Computer and information sciences
   e10fwg3
8. Formal Methods in Computer-Aided Design 2012 (FMCAD 2012, FMCAD)
   2012-10-22/25 · Cambridge, United Kingdom
   Computer and information sciences
   e113kag
9. 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
10. Formal Methods in Computer-Aided Design 2010 (FMCAD 2010, FMCAD)
    2010-10-20/23 · Lugano, Switzerland
    Computer and information sciences
    e113k9j
11. Formal Methods in Computer-Aided Design 2009 (FMCAD 2009, FMCAD)
    2009-11-15/18 · Austin, United States
    Computer and information sciences
    e113k8m
12. Formal Methods in Computer-Aided Design 2008 (FMCAD 2008, FMCAD)
    2008-11-17/20 · Portland, United States
    Computer and information sciences
    e113k7p
13. Formal Methods in Computer-Aided Design 2007 (FMCAD 2007, FMCAD)
    2007-11-11/14 · Austin, United States
    Computer and information sciences
    e113k6r
14. Formal Methods in Computer-Aided Design 2006 (FMCAD 2006, FMCAD)
    2006-11-12/16 · San Jose, United States
    Computer and information sciences
    e113k5t
15. Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)
    2004-11-14/17 · Austin, United States
    Computer and information sciences
    e103bha
16. Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)
    2002-11-06/08 · Portland, United States
    Computer and information sciences
    e103bgc
17. Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001, CHARME)
    2001-09-04/07 · Livingston, United Kingdom
    Computer and information sciences
    e101dge
18. Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)
    2000-11-01/03 · Austin, United States
    Computer and information sciences
    e103bff
19. Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)
    1998-11-04/06 · Palo Alto, United States
    Computer and information sciences
    e103beh
20. 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&discipline=Q3966&page=2