Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

13 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. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  4. 22nd International Symposium on Formal Methods (FM 2018, FM)
    2018-07-15/17 · Oxford, United Kingdom
    MathematicsComputer and information sciences
    e113jh2
  5. 21st International Symposium on Formal Methods (FM 2016, FM)
    2016-11-09/11 · Limassol, Cyprus
    MathematicsComputer and information sciences
    e103bcn
  6. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
  7. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
  8. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
  9. 17th International Symposium on Formal Methods (FM 2011, FM)
    2011-06-20/24 · Limerick, Ireland
    MathematicsComputer and information sciences
    e103b8x
  10. 16th International Symposium on Formal Methods (FM 2009, FM)
    2009-11-02/06 · Eindhoven
    MathematicsComputer and information sciences
    e103b7z
  11. 15th International Symposium on Formal Methods (FM 2008, FM)
    2008-05-26/30 · Turku, Finland
    MathematicsComputer and information sciences
    e103b61
  12. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
  13. International Symposium on Formal Methods (FM 1994)
    1994-10-18/24 · Barcelona, Spain
    MathematicsComputer and information sciences
    e129rjd

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