18 results · clear filters Sort: newest oldest name

1. International Conference on Integrated Formal Methods (IFM 2022)
   2022-06-07/10 · Lugano, Switzerland
   Computer and information sciences
   e11bx34
2. 16th International Conference on Integrated Formal Methods (IFM 2020)
   2020-11-16/20 · Lugano, Switzerland
   Computer and information sciences
   e11bx26
3. 15th International Conference on Integrated Formal Methods (IFM 2019, IFM)
   2019-12-02/06 · Bergen, Norway
   Computer and information sciences
   e11bx18
4. 14th International Conference on Integrated Formal Methods (IFM 2018, IFM)
   2018-09-05/07 · Maynooth, Ireland
   Computer and information sciences
   e11bx0a
5. International Conference on Integrated Formal Methods (IFM 2017, IFM)
   2017-09-20/22 · Turin, Italy
   Computer and information sciences
   e104xne
6. 12th International Conference on Integrated Formal Methods (IFM 2016)
   2016-06-01/03 · Reykjavík, Iceland
   MathematicsComputer and information sciences
   e1246vq
7. International Conference on Integrated Formal Methods (IFM 2016)
   2016-06-01/05 · Reykjavík, Iceland
   MathematicsComputer and information sciences
   e129s65
8. International Conference on Integrated Formal Methods (IFM 2014, IFM)
   2014-09-09/11 · Bertinoro, Italy
   Computer and information sciences
   e104xkj
9. International Conference on Integrated Formal Methods (IFM 2013, IFM)
   2013-06-10/14 · Turku, Finland
   Computer and information sciences
   e104xjm
10. International Conference on Integrated Formal Methods (IFM 2012, IFM)
    2012-06-18/21 · Pisa, Italy
    Computer and information sciences
    e104xhp
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 Integrated Formal Methods (IFM 2009, IFM)
    2009-02-16/19 · Düsseldorf, Germany
    Computer and information sciences
    e104xfv
13. International Conference on Integrated Formal Methods (IFM 2007, IFM)
    2007-07-02/05 · Oxford, United Kingdom
    Computer and information sciences
    e104xex
14. International Conference on Integrated Formal Methods (IFM 2005, IFM)
    2005-11-29 to 2005-12-02 · Eindhoven
    Computer and information sciences
    e104xdz
15. International Conference on Integrated Formal Methods (IFM 2004, IFM)
    2004-04-04/07 · Canterbury, United Kingdom
    Computer and information sciences
    e104xc1
16. International Conference on Integrated Formal Methods (IFM 2002, IFM)
    2002-05-15/18 · Turku, Finland
    Computer and information sciences
    e104xb3
17. International Conference on Integrated Formal Methods (IFM 2000, IFM)
    2000-11-01/03 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e104xa5
18. International Conference on Integrated Formal Methods (IFM 1999, IFM)
    1999-06-28/29 · York, United Kingdom
    Computer and information sciences
    e11bwzc

As JSON: https://labs.confref.org/api/search?kind=event&series=s10a0h7&mode=OfflineEventAttendanceMode