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.

92 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. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
    2022-09-26/30 · Berlin, Germany
    MathematicsComputer and information sciences
    e11s1rr
  8. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
    2022-09-14/15 · Warsaw, Poland
    MathematicsComputer and information sciences
    e113m7n
  9. 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)
    2022-06-21/24 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e1117cw
  10. International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)
    2020-12-02/04 · Jaipur, India
    MathematicsComputer and information sciences
    e11hn4x
  11. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
    2020-09-02/03 · Vienna, Austria
    MathematicsComputer and information sciences
    e113m5s
  12. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
    2020-06-23/26 · Sophia Antipolis, France
    MathematicsComputer and information sciences
    e111792
  13. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
    2019-11-05/09 · Shenzhen, People's Republic of China
    MathematicsComputer and information sciences
    e10e9v2
  14. 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
  15. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  16. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  17. 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
  18. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb
  19. International Conference on Formal Engineering Methods (ICFEM 2018, ICFEM)
    2018-11-12/16 · Gold Coast, Australia
    MathematicsComputer and information sciences
    e10e9w0
  20. International Conference on Formal Methods and Models for System Design (MEMOCODE 2018, MEMOCODE)
    2018-10-15/17 · Beijing, People's Republic of China
    MathematicsComputer and information sciences
    e11hn21
  21. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x
  22. 22nd International Symposium on Formal Methods (FM 2018, FM)
    2018-07-15/17 · Oxford, United Kingdom
    MathematicsComputer and information sciences
    e113jh2
  23. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  24. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
    2018-06-19/22 · Paris, France
    MathematicsComputer and information sciences
    e10f0v9
  25. Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)
    2017-11-12 · Denver, United States
    Mathematics
    e12g24h

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