20 results · clear filters Sort: newest oldest name

1. 26th International Symposium on Formal Methods (FM 2024)
   2024-09-09/13 · Milan, Italy
   MathematicsComputer and information sciences
   e113jqp
2. 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '24)
   2024-06-24/28 · Cagliari, Italy
   MathematicsComputer and information sciences
   e1117fp
3. Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers
   2024 · Sardinia, Italy
   Computer and information sciences
   e1117gk
4. Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
   2024 · Milan, Italy
   Computer and information sciences
   e113m9h
5. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
   2017-09-18/20 · Turin, Italy
   MathematicsComputer and information sciences
   e103c8w
6. Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
   2017 · Trento, Italy
   Computer and information sciences
   e11s1g8
7. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
   2016-09-26/29 · Pisa, Italy
   MathematicsComputer and information sciences
   e103c7y
8. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
   2014-09-11/12 · Florence, Italy
   MathematicsComputer and information sciences
   e103c52
9. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
   2014-06-17/20 · Rome, Italy
   MathematicsComputer and information sciences
   e10f0x5
10. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
11. International Symposium on Formal Methods for Components and Objects (FMCO 2011, FMCO)
    2011-10-03/05 · Turin, Italy
    Computer and information sciences
    e103btr
12. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)
    2011-08-29/30 · Trento, Italy
    MathematicsComputer and information sciences
    e103c28
13. 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)
    2011-06-13/16 · Pisa, Italy
    MathematicsComputer and information sciences
    e10f0z1
14. Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011
    2011 · Pisa, Italy
    Computer and information sciences
    e1117mb
15. 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)
    2008-09-15/16 · L'Aquila, Italy
    MathematicsComputer and information sciences
    e103bze
16. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006, FMOODS)
    2006-06-14/16 · Bologna, Italy
    Computer and information sciences
    e103ch9
17. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005, MEMOCODE)
    2005-07-11/14 · Verona, Italy
    MathematicsComputer and information sciences
    e11hmnv
18. International Symposium on Formal Methods (FM 2003, FME)
    2003-09-08/14 · Pisa, Italy
    Computer and information sciences
    e103b37
19. 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)
    1999-07-11/12 · Trento, Italy
    Mathematics
    e129s1f
20. 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)
    1997-07-04/05 · Cesena, Italy
    Mathematics
    e129rzk

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