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.

99 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. 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '24)
    2024-06-24/28 · Cagliari, Italy
    MathematicsComputer and information sciences
    e1117fp
  3. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
    2023-11-06/10 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e11s1tm
  4. 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)
    2023-09-18/23 · Antwerp, Belgium
    MathematicsComputer and information sciences
    e113m8k
  5. 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)
    2023-06-26/30 · Jersey Marine, United Kingdom
    MathematicsComputer and information sciences
    e12bznw
  6. 25th International Symposium on Formal Methods (FM 2023)
    2023-03-06/10 · Lübeck, Germany
    MathematicsComputer and information sciences
    e113jpr
  7. International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)
    2022-10-13/14 · Shanghai, People's Republic of China
    MathematicsComputer and information sciences
    e11hn6s
  8. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
    2022-09-26/30 · Berlin, Germany
    MathematicsComputer and information sciences
    e11s1rr
  9. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
    2022-09-14/15 · Warsaw, Poland
    MathematicsComputer and information sciences
    e113m7n
  10. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
    2022-06-21/24 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e1117cw
  11. 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
    2021-12-06/10 · online
    MathematicsComputer and information sciences
    e11s1pw
  12. 24th International Symposium on Formal Methods (FM 2021)
    2021-11-20/26 · online
    MathematicsComputer and information sciences
    e113jnt
  13. International Conference on Formal Methods and Models for System Design (MEMOCODE 2021)
    2021-11-20/22 · online
    MathematicsComputer and information sciences
    e11hn5v
  14. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
    2021-08-24/26 · Paris, France · online
    MathematicsComputer and information sciences
    e113m6q
  15. International Conference on Formal Engineering Methods (ICFEM 2020)
    2021-03-01/03 · Singapore
    Mathematics
    e10g1s9
  16. International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)
    2020-12-02/04 · Jaipur, India
    MathematicsComputer and information sciences
    e11hn4x
  17. 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
    2020-09-14/18 · Kingdom of the Netherlands · online
    MathematicsComputer and information sciences
    e11s1m0
  18. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s
  19. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
    2020-06-23/26 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e111792
  20. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
    2019-11-05/09 · Shenzhen, People's Republic of China
    MathematicsComputer and information sciences
    e10e9v2
  21. International Conference on Formal Methods and Models for System Design (MEMOCODE 2019, MEMOCODE)
    2019-10-09/11 · San Diego, United States
    MathematicsComputer and information sciences
    e11hn3z
  22. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  23. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  24. 24th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019, FMICS)
    2019-08-30/31 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e113m4v
  25. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb

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