74 results · clear filters Sort: newest oldest name

1. International Conference on Computer Aided Verification (CAV)
   series, 40 events, 1989 to 2026
   MathematicsComputer and information sciences
   s109b7k
2. Advances in Cryptology - International Cryptology Conference (CRYPTO)
   series, 46 events, 1981 to 2026
   MathematicsComputer and information sciences
   s109ex3
3. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
4. IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
   series, 40 events, 1988 to 2026
   MathematicsComputer and information sciences
   s109q69
5. International Conference on Software Engineering (ICSE)
   series, 114 events, 1975 to 2026
   MathematicsComputer and information sciences
   s109yj9
6. International Symposium on Symbolic and Algebraic Computation (ISSAC)
   series, 54 events, 1966 to 2026
   MathematicsComputer and information sciences
   s10a406
7. International Symposium on Mathematical Foundations of Computer Science (MFCS)
   series, 55 events, 1972 to 2026
   MathematicsComputer and information sciences
   s10a901
8. International Conference on Scientific and Statistical Data Base Management (SSDBM)
   series, 48 events, 1981 to 2026
   MathematicsComputer and information sciences
   s10an2h
9. International Symposium on Distributed Computing (DISC)
   series, 40 events, 1985 to 2026
   MathematicsComputer and information sciences
   s10artx
10. ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)
    series, 100 events, 1983 to 2026
    MathematicsComputer and information sciences
    s10axn2
11. International Conference on Distributed Computing Systems (ICDCS)
    series, 71 events, 1981 to 2026
    MathematicsComputer and information sciences
    s10m9vn
12. International Symposium on Computational Geometry (SoCG)
    series, 42 events, 1985 to 2026
    MathematicsComputer and information sciences
    s10mwc1
13. ACM Symposium on Theory of Computing (STOC)
    series, 58 events, 1969 to 2026
    MathematicsComputer and information sciences
    s10mwmg
14. Real Time Systems Symposium (RTSS)
    series, 46 events, 1980 to 2025
    MathematicsComputer and information sciences
    s10azaq
15. IEEE International Conference on Software Maintenance (ICSM, ICSME)
    series, 40 events, 1988 to 2025
    MathematicsComputer and information sciences
    s10b4x9
16. Software Engineering (SE)
    series, 39 events, 1980 to 2025
    MathematicsComputer and information sciences
    s10dbpc
17. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA, SPLASH)
    series, 116 events, 1986 to 2025
    MathematicsComputer and information sciences
    s10k7bt
18. European Software Engineering Conference (ESEC)
    series, 23 events, 1987 to 2023
    MathematicsComputer and information sciences
    s109m6c
19. Winter Simulation Conference (WSC)
    series, 49 events, 1971 to 2023
    Mathematics
    s127e00
20. Mathematics of Program Construction (MPC)
    series, 14 events, 1989 to 2022
    MathematicsComputer and information sciences
    s10aatb
21. The European Workshop on Computational Geometry (EUROCG)
    series, 38 events, 1983 to 2022
    Mathematics
    s129knc
22. International Conference on Automated Deduction (CADE)
    series, 25 events, 1980 to 2021
    MathematicsComputer and information sciences
    s124vhp
23. Symposium on Parallelism in Algorithms and Architectures (SPAA)
    series, 33 events, 1989 to 2021
    Mathematics
    s126t94
24. ACM Symposium on Principles of Distributed Computing (PODC)
    series, 37 events, 1985 to 2020
    Mathematics
    s126q97
25. 21st conference on Winter simulation (WSC 1989)
    1989-12-04/06 · Washington, D.C., United States
    Mathematics
    e12a701

As JSON: https://labs.confref.org/api/search?field=1.1&from=1980&to=1989