13 results · clear filters Sort: newest oldest name

1. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
2. International Conference on Formal Methods and Models for System Design (MEMOCODE)
   series, 23 events, 2003 to 2025
   MathematicsComputer and information sciences
   s10mqzz
3. 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
4. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
   2019 · Portugal
   Computer and information sciences
   e113jky
5. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
   2019 · Portugal
   Computer and information sciences
   e113jmw
6. 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
7. 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
8. APW 2016 : AutoProof Workshop (APW 2016)
   2016-10-01 · Toulouse, France
   MathematicsComputer and information sciences
   e12fg9w
9. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
   2015-09-21/23 · Austin, United States
   MathematicsComputer and information sciences
   e11hmz7
10. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
11. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)
    2012-07-16/17 · Arlington, United States
    MathematicsComputer and information sciences
    e11hmwd
12. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
13. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth

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