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.

3 results · clear filters Sort: newest oldest name

  1. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (ISOLA, ISoLA 2018)
    2018-11-05/09 · Limassol, Cyprus
    Computer and information sciences
    e10ev15
  2. 21st International Symposium on Formal Methods (FM 2016, FM)
    2016-11-09/11 · Limassol, Cyprus
    MathematicsComputer and information sciences
    e103bcn
  3. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, FMOODS)
    2007-06-06/08 · Paphos, Cyprus
    Computer and information sciences
    e103cj7

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q1049183&country=CY