180 results · clear filters Sort: newest oldest name

1. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
   2023 · Kingdom of the Netherlands
   Computer and information sciences
   e11s1vj
2. International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)
   2022-10-13/14 · Shanghai, People's Republic of China
   MathematicsComputer and information sciences
   e11hn6s
3. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
   2022-09-26/30 · Berlin, Germany
   MathematicsComputer and information sciences
   e11s1rr
4. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
   2022-09-14/15 · Warsaw, Poland
   MathematicsComputer and information sciences
   e113m7n
5. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
   2022-06-21/24 · Sophia Antipolis, France
   MathematicsComputer and information sciences
   e1117cw
6. International Conference on Integrated Formal Methods (IFM 2022)
   2022-06-07/10 · Lugano, Switzerland
   Computer and information sciences
   e11bx34
7. 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
8. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
   2022 · Berlin, Germany
   Computer and information sciences
   e11s1sp
9. 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
   2021-12-06/10 · online
   MathematicsComputer and information sciences
   e11s1pw
10. 24th International Symposium on Formal Methods (FM 2021)
    2021-11-20/26 · online
    MathematicsComputer and information sciences
    e113jnt
11. International Conference on Formal Methods and Models for System Design (MEMOCODE 2021)
    2021-11-20/22 · online
    MathematicsComputer and information sciences
    e11hn5v
12. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
    2021-08-24/26 · Paris, France · online
    MathematicsComputer and information sciences
    e113m6q
13. International Conference on Formal Engineering Methods (ICFEM 2020)
    2021-03-01/03 · Singapore
    Mathematics
    e10g1s9
14. EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021
    2021 · Kingdom of the Netherlands
    Computer and information sciences
    e1117a0
15. Proceedings of the 2021 Workshops on Computer Human Interaction in IoT Applications co-located with the International Conference on Embedded Wireless Systems and Networks (EWSN 2021) and the 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Delft, Netherlands, February 17, 2021 and Eindhoven, Netherlands, June 8, 2021.
    2021 · Kingdom of the Netherlands
    Computer and information sciences
    e112xx1
16. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
    2021
    Computer and information sciences
    e11s1qt
17. International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)
    2020-12-02/04 · Jaipur, India
    MathematicsComputer and information sciences
    e11hn4x
18. Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (SBMF 2020)
    2020-11-25/27 · Ouro Preto, Brazil
    Computer and information sciences
    e10fjat
19. 16th International Conference on Integrated Formal Methods (IFM 2020)
    2020-11-16/20 · Lugano, Switzerland
    Computer and information sciences
    e11bx26
20. Formal Methods in Computer-Aided Design 2020 (FMCAD 2020)
    2020-09-21/24 · Haifa, Israel · online
    Computer and information sciences
    e10fwe8
21. 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
    2020-09-14/18 · Kingdom of the Netherlands · online
    MathematicsComputer and information sciences
    e11s1m0
22. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s
23. FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 (FormaliSE@ICSE 2020)
    2020-07-13 · Seoul, South Korea
    Computer and information sciences
    e10fw6r
24. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
    2020-06-23/26 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e111792
25. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
    2020 · Kingdom of the Netherlands
    Computer and information sciences
    e11s1ny

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q1049183&page=2