10 results · clear filters Sort: newest oldest name

1. 25th International Symposium on Formal Methods (FM 2023)
   2023-03-06/10 · Lübeck, Germany
   MathematicsComputer and information sciences
   e113jpr
2. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
   2022-09-26/30 · Berlin, Germany
   MathematicsComputer and information sciences
   e11s1rr
3. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
   2015-06-23/26 · Duisburg, Germany
   MathematicsComputer and information sciences
   e10dth7
4. 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)
   2010-06-19/23 · Berlin, Germany
   MathematicsComputer and information sciences
   e10f10z
5. International Conference on Integrated Formal Methods (IFM 2009, IFM)
   2009-02-16/19 · Düsseldorf, Germany
   Computer and information sciences
   e104xfv
6. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)
   2007-07-01/02 · Berlin, Germany
   MathematicsComputer and information sciences
   e103byg
7. 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)
   2006-08-26/27 · Bonn, Germany
   MathematicsComputer and information sciences
   e103bxj
8. International Symposium on Formal Methods (FM 2001)
   2001-05-12/16 · Berlin, Germany
   MathematicsComputer and information sciences
   e129rhf
9. International Conference on Integrated Formal Methods (IFM 2000, IFM)
   2000-11-01/03 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
   Computer and information sciences
   e104xa5
10. 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)
    2000-04-03/04 · Berlin, Germany
    Mathematics
    e129s2d

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