10 results · clear filters Sort: newest oldest name

1. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
2. 23rd International Symposium on Formal Methods (FM 2019, FM)
   2019-10-07/11 · Porto, Portugal
   MathematicsComputer and information sciences
   e113jj0
3. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
   2019 · Portugal
   Computer and information sciences
   e113jky
4. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
   2019 · Portugal
   Computer and information sciences
   e113jmw
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

As JSON: https://labs.confref.org/api/search?series=s109pnb&from=2010&to=2019