16 results · clear filters Sort: newest oldest name

1. Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
   2025 · Paris, France
   Computer and information sciences
   e11bx6y
2. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
   2022-06-21/24 · Sophia Antipolis, France
   MathematicsComputer and information sciences
   e1117cw
3. EICS '22: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 21 - 24, 2022, Companion Volume
   2022 · Sophia Antipolis, France
   Computer and information sciences
   e1117by
4. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
   2021-08-24/26 · Paris, France · online
   MathematicsComputer and information sciences
   e113m6q
5. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
   2020-06-23/26 · Sophia Antipolis, France
   MathematicsComputer and information sciences
   e111792
6. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
   2018-06-27/29 · Toulouse, France
   MathematicsComputer and information sciences
   e11s1h6
7. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
   2018-06-19/22 · Paris, France
   MathematicsComputer and information sciences
   e10f0v9
8. Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
   2014 · Grenoble, France
   Computer and information sciences
   e11s1ed
9. 18th International Symposium on Formal Methods (FM 2012, FM)
   2012-08-27/31 · Paris, France
   MathematicsComputer and information sciences
   e103b9v
10. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
11. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr
12. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth
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 2003, MEMOCODE)
    2003-06-24/26 · Le Mont Saint-Michel, France
    MathematicsComputer and information sciences
    e11hmkz
15. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b
16. FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
    1999 · Toulouse, France
    Computer and information sciences
    e113jg4

As JSON: https://labs.confref.org/api/search?discipline=Q1049183&country=FR