27 results · clear filters Sort: newest oldest name

1. Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
   2026 · Tokyo, Japan
   Computer and information sciences
   e113jrm
2. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
3. 26th International Symposium on Formal Methods (FM 2024)
   2024-09-09/13 · Milan, Italy
   MathematicsComputer and information sciences
   e113jqp
4. 25th International Symposium on Formal Methods (FM 2023)
   2023-03-06/10 · Lübeck, Germany
   MathematicsComputer and information sciences
   e113jpr
5. 24th International Symposium on Formal Methods (FM 2021)
   2021-11-20/26 · online
   MathematicsComputer and information sciences
   e113jnt
6. 23rd International Symposium on Formal Methods (FM 2019, FM)
   2019-10-07/11 · Porto, Portugal
   MathematicsComputer and information sciences
   e113jj0
7. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
   2019 · Portugal
   Computer and information sciences
   e113jky
8. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
   2019 · Portugal
   Computer and information sciences
   e113jmw
9. 22nd International Symposium on Formal Methods (FM 2018, FM)
   2018-07-15/17 · Oxford, United Kingdom
   MathematicsComputer and information sciences
   e113jh2
10. 21st International Symposium on Formal Methods (FM 2016, FM)
    2016-11-09/11 · Limassol, Cyprus
    MathematicsComputer and information sciences
    e103bcn
11. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
12. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
13. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
14. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
15. 16th International Symposium on Formal Methods (FM 2009, FM)
    2009-11-02/06 · Eindhoven
    MathematicsComputer and information sciences
    e103b7z
16. 15th International Symposium on Formal Methods (FM 2008, FM)
    2008-05-26/30 · Turku, Finland
    MathematicsComputer and information sciences
    e103b61
17. International Symposium on Formal Methods (FM 2003, FME)
    2003-09-08/14 · Pisa, Italy
    Computer and information sciences
    e103b37
18. International Symposium on Formal Methods (FM 2002, FME)
    2002-07-22/24 · Copenhagen, Denmark
    Computer and information sciences
    e103b29
19. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
20. 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
21. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd
22. VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
    1991 · Kingdom of the Netherlands
    Computer and information sciences
    e113jy8
23. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990 · Kiel, Germany
    Computer and information sciences
    e113jxa
24. VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings
    1988 · Dublin, Ireland
    Computer and information sciences
    e113jwc
25. VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings
    1987 · Brussels, Belgium
    Computer and information sciences
    e113jve

As JSON: https://labs.confref.org/api/search?field=1.2&discipline=Q1049183&series=s109pnb