17 results · clear filters Sort: newest oldest name

1. 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
2. International Conference on Formal Methods and Models for System Design (MEMOCODE 2018, MEMOCODE)
   2018-10-15/17 · Beijing, People's Republic of China
   MathematicsComputer and information sciences
   e11hn21
3. International Conference on Formal Methods and Models for System Design (MEMOCODE 2017, MEMOCODE)
   2017-09-29 to 2017-10-02 · Vienna, Austria
   MathematicsComputer and information sciences
   e11hn13
4. 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 (MEMOCODE)
   2016-11-18/20 · Kanpur, India
   Computer and information sciences
   e11hn05
5. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
   2015-09-21/23 · Austin, United States
   MathematicsComputer and information sciences
   e11hmz7
6. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
   2014-10-19/21 · Lausanne, Switzerland
   MathematicsComputer and information sciences
   e11hmy9
7. 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 (MEMOCODE)
   2013-10-18/20 · Portland, United States
   Computer and information sciences
   e11hmxb
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. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
   2011-07-11/13 · Cambridge, United Kingdom
   MathematicsComputer and information sciences
   e11hmvf
10. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth
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 Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)
    2007-05-30 to 2007-06-01 · Nice, France
    MathematicsComputer and information sciences
    e11hmqq
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. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005, MEMOCODE)
    2005-07-11/14 · Verona, Italy
    MathematicsComputer and information sciences
    e11hmnv
16. 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
17. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003, MEMOCODE)
    2003-06-24/26 · Le Mont Saint-Michel, France
    MathematicsComputer and information sciences
    e11hmkz

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s10mqzz