15 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. 25th International Symposium on Formal Methods (FM 2023)
   2023-03-06/10 · Lübeck, Germany
   MathematicsComputer and information sciences
   e113jpr
3. 24th International Symposium on Formal Methods (FM 2021)
   2021-11-20/26 · online
   MathematicsComputer and information sciences
   e113jnt
4. 23rd International Symposium on Formal Methods (FM 2019, FM)
   2019-10-07/11 · Porto, Portugal
   MathematicsComputer and information sciences
   e113jj0
5. 22nd International Symposium on Formal Methods (FM 2018, FM)
   2018-07-15/17 · Oxford, United Kingdom
   MathematicsComputer and information sciences
   e113jh2
6. 21st International Symposium on Formal Methods (FM 2016, FM)
   2016-11-09/11 · Limassol, Cyprus
   MathematicsComputer and information sciences
   e103bcn
7. 20th International Symposium on Formal Methods (FM 2015, FM)
   2015-06-24/26 · Oslo, Norway
   MathematicsComputer and information sciences
   e103bbq
8. 19th International Symposium on Formal Methods (FM 2014, FM)
   2014-05-12/16 · Queenstown MRT station, Singapore
   MathematicsComputer and information sciences
   e103bas
9. 18th International Symposium on Formal Methods (FM 2012, FM)
   2012-08-27/31 · Paris, France
   MathematicsComputer and information sciences
   e103b9v
10. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
11. 16th International Symposium on Formal Methods (FM 2009, FM)
    2009-11-02/06 · Eindhoven
    MathematicsComputer and information sciences
    e103b7z
12. 15th International Symposium on Formal Methods (FM 2008, FM)
    2008-05-26/30 · Turku, Finland
    MathematicsComputer and information sciences
    e103b61
13. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
14. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd
15. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 (VDM Europe 1990)
    1990-04-17/21 · Kiel, Germany
    MathematicsComputer and information sciences
    e10ez3x

As JSON: https://labs.confref.org/api/search?kind=event&field=1.1&series=s109pnb