8 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. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
   series, 31 events, 1996 to 2026
   MathematicsComputer and information sciences
   s109ps3
3. Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
   2025 · Aarhus, Denmark
   Computer and information sciences
   e113maf
4. Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
   2024 · Milan, Italy
   Computer and information sciences
   e113m9h
5. 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)
   2023-09-18/23 · Antwerp, Belgium
   MathematicsComputer and information sciences
   e113m8k
6. 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)
   2022-09-14/15 · Warsaw, Poland
   MathematicsComputer and information sciences
   e113m7n
7. 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)
   2021-08-24/26 · Paris, France · online
   MathematicsComputer and information sciences
   e113m6q
8. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
   2020-09-02/03 · Vienna, Austria
   MathematicsComputer and information sciences
   e113m5s

As JSON: https://labs.confref.org/api/search?series=s109ps3&from=2020&to=2029