9 results · clear filters Sort: newest oldest name

1. 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
   2025-02-10/14 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e10y1qh
2. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
   2023-11-06/10 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e11s1tm
3. 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
4. 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
5. European Joint Conferences on Theory and Practice of Software (ETAPS 2016, ETAPS)
   2016-04-02/08 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e12gkh5
6. 17th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2009, SIGSOFT)
   2009-08-24/28 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e12gsx7
7. Seventh IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2003, DSRT)
   2003-10-23/25 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e10zyhy
8. IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2003, SCAM)
   2003-09-26/27 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e11rgjq
9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS 1999, FoSSaCS)
   1999-03-22/28 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e103eee

As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q21198&country=NL