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.

11 results · clear filters Sort: newest oldest name

  1. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
    2022-06-21/24 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e1117cw
  2. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
    2020-06-23/26 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e111792
  3. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  4. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
    2018-06-19/22 · Paris, France
    MathematicsComputer and information sciences
    e10f0v9
  5. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v
  6. 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)
    2012-08-27/28 · Paris, France
    MathematicsComputer and information sciences
    e103c36
  7. International Conference on Integrated Formal Methods (IFM 2010, IFM)
    2010-10-11/14 · Nancy, France
    Computer and information sciences
    e104xgr
  8. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)
    2010-07-26/28 · Grenoble, France
    MathematicsComputer and information sciences
    e11hmth
  9. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)
    2007-05-30 to 2007-06-01 · Nice, France
    MathematicsComputer and information sciences
    e11hmqq
  10. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003, MEMOCODE)
    2003-06-24/26 · Le Mont Saint-Michel, France
    MathematicsComputer and information sciences
    e11hmkz
  11. 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
    2001-07-16/17 · Paris, France
    Mathematics
    e129s3b

As JSON: https://labs.confref.org/api/search?discipline=Q1049183&country=FR&mode=OfflineEventAttendanceMode