21 results · clear filters Sort: newest oldest name

1. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
   2019-10-22/25 · San Jose, United States
   Computer and information sciences
   e10fwf6
2. International Conference on Formal Methods and Models for System Design (MEMOCODE 2019, MEMOCODE)
   2019-10-09/11 · San Diego, United States
   MathematicsComputer and information sciences
   e11hn3z
3. 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
4. Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)
   2017-11-12 · Denver, United States
   Mathematics
   e12g24h
5. NFM 2017 : The 9th NASA Formal Methods Symposium (NFM 2017)
   2017-05-16/18 · Mountain View, United States
   Mathematics
   e125d7q
6. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
   2015-09-21/23 · Austin, United States
   MathematicsComputer and information sciences
   e11hmz7
7. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
   2013-10-20/23 · Portland, United States
   Computer and information sciences
   e10fwg3
8. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)
   2012-07-16/17 · Arlington, United States
   MathematicsComputer and information sciences
   e11hmwd
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. 1st ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '09, EICS 2009)
    2009-07-14/17 · Pittsburgh, United States
    MathematicsComputer and information sciences
    e10f11x
11. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009, MEMOCODE)
    2009-07-13/15 · Cambridge, United States
    MathematicsComputer and information sciences
    e11hmsk
12. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)
    2008-06-05/07 · Anaheim, United States
    MathematicsComputer and information sciences
    e11hmrn
13. International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)
    2007-11-14/15 · Boca Raton, United States
    MathematicsComputer and information sciences
    e104bck
14. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)
    2006-07-27/29 · Napa, United States
    MathematicsComputer and information sciences
    e11hmps
15. Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)
    2004-11-14/17 · Austin, United States
    Computer and information sciences
    e103bha
16. International Conference on Formal Engineering Methods (ICFEM 2004, ICFEM)
    2004-11-08/12 · Seattle, United States
    MathematicsComputer and information sciences
    e104b9s
17. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004, MEMOCODE)
    2004-06-22/25 · San Diego, United States
    MathematicsComputer and information sciences
    e11hmmx
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?discipline=Q1049183&country=US&mode=OfflineEventAttendanceMode