15 results · clear filters Sort: newest oldest name

1. Formal Methods for Industrial Critical Systems - 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings
   2026 · Liverpool, United Kingdom
   Computer and information sciences
   e113mbd
2. Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
   2024 · Manchester, United Kingdom
   Computer and information sciences
   e11bx50
3. 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)
   2023-06-26/30 · Jersey Marine, United Kingdom
   MathematicsComputer and information sciences
   e12bznw
4. Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2023, Swansea, United Kingdom, June 27-30, 2023
   2023 · Swansea, United Kingdom
   Computer and information sciences
   e1117dt
5. Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers
   2023 · United Kingdom
   Computer and information sciences
   e1117er
6. 22nd International Symposium on Formal Methods (FM 2018, FM)
   2018-07-15/17 · Oxford, United Kingdom
   MathematicsComputer and information sciences
   e113jh2
7. Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
   2015 · York, United Kingdom
   Computer and information sciences
   e11s1fb
8. 5th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '13, EICS 2013)
   2013-06-24/27 · London, United Kingdom
   MathematicsComputer and information sciences
   e10e1va
9. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
   2011-10-26/28 · Durham, United Kingdom
   MathematicsComputer and information sciences
   e104bga
10. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)
    2011-07-11/13 · Cambridge, United Kingdom
    MathematicsComputer and information sciences
    e11hmvf
11. 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)
    2007-09-10/14 · London, United Kingdom
    MathematicsComputer and information sciences
    e11s18s
12. International Conference on Integrated Formal Methods (IFM 2007, IFM)
    2007-07-02/05 · Oxford, United Kingdom
    Computer and information sciences
    e104xex
13. International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)
    2005-11-01/04 · Manchester, United Kingdom
    MathematicsComputer and information sciences
    e104baq
14. International Conference on Integrated Formal Methods (IFM 2004, IFM)
    2004-04-04/07 · Canterbury, United Kingdom
    Computer and information sciences
    e104xc1
15. 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)
    1996-03-19 · Oxford, United Kingdom
    Mathematics
    e129ryn

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