898 results · clear filters Sort: newest oldest name

1. 20th International Symposium on Formal Methods (FM 2015, FM)
   2015-06-24/26 · Oslo, Norway
   MathematicsComputer and information sciences
   e103bbq
2. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
   2015-06-23/26 · Duisburg, Germany
   MathematicsComputer and information sciences
   e10dth7
3. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
   2015-06-22/23 · Oslo, Norway
   MathematicsComputer and information sciences
   e103c60
4. 24th International Symposium on High-Performance Parallel and Distributed Computing (HPDC 2015, HPDC)
   2015-06-15/19 · Portland, United States
   MathematicsComputer and information sciences
   e10g588
5. ACM Symposium on Theory of Computing (STOC 2015, STOC)
   2015-06-14/17 · Portland, United States
   MathematicsComputer and information sciences
   e11wcjk
6. 2015 IEEE International Conference on Intelligence and Security Informatics (ISI 2015, ISI)
   2015-05-27/29 · Baltimore, United States
   MathematicsComputer and information sciences
   e11dxg5
7. 29th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2015, IPPS)
   2015-05-25/29 · Hyderabad, India
   MathematicsComputer and information sciences
   e11d6fz
8. 37th International Conference on Software Engineering (ICSE 2015, ICSE)
   2015-05-16/24 · Florence, Italy
   MathematicsComputer and information sciences
   e10jxmk
9. Workshop on ns-3 (WNS3 2015, WNS3)
   2015-05-13/14 · Barcelona, Spain
   MathematicsComputer and information sciences
   e11zvte
10. 12th Working IEEE / IFIP Conference on Software Architecture (WICSA 2015, WICSA)
    2015-05-04/07 · Montreal, Canada
    MathematicsComputer and information sciences
    e10hx7g
11. 11th International ACM Sigsoft Conference on the Quality of Software Architectures QoSA 2015 (QOSA, QoSA '15)
    2015-05-04/08 · Montreal, Canada
    MathematicsComputer and information sciences
    e11pkfz
12. International Conference on Foundations of Software Science and Computation Structure (FoSSaCS 2015, FoSSaCS)
    2015-04-13/16 · London, United Kingdom
    MathematicsComputer and information sciences
    e103eyd
13. International Conference on Fundamental Approaches to Software Engineering (FASE 2015, FASE)
    2015-04-11/18 · London, United Kingdom
    MathematicsComputer and information sciences
    e10371f
14. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014, TACAS 2015)
    2015-04-11/18 · London, United Kingdom
    MathematicsComputer and information sciences
    e10897q
15. European Joint Conferences on Theory and Practice of Software (ETAPS 2015, ETAPS)
    2015-04-11/18 · London, United Kingdom
    MathematicsComputer and information sciences
    e12gkg7
16. 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2015, ISPASS)
    2015-03-29/31 · Philadelphia, United States
    MathematicsComputer and information sciences
    e11ear6
17. The 31st European Workshop on Computational Geometry (EUROCG 2015)
    2015-03-15/18
    Mathematics
    e128p0p
18. 26th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2015, SODA)
    2015-01-04/06 · San Diego, United States
    MathematicsComputer and information sciences
    e11vf3h
19. 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014, SIGSOFT)
    2014-11-16/21 · Hong Kong
    MathematicsComputer and information sciences
    e11tnyp
20. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
21. ACM SIGPLAN Conference on Systems, Programming Languages and Applications: Software for Humanity (OOPSLA, SPLASH 2014)
    2014-10-20/24 · Portland, United States
    MathematicsComputer and information sciences
    e11mpmn
22. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
23. Software Engineering for Self-Adaptive Systems
    2014-10-19/24 · Wadern, Germany
    MathematicsEnvironmental engineering
    e12ej54
24. 28th International Symposium on Distributed Computing (DISC 2014, DISC)
    2014-10-12/15 · Austin, United States
    MathematicsComputer and information sciences
    e108ttz
25. IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2014, DSRT)
    2014-10-01/03 · Toulouse, France
    MathematicsComputer and information sciences
    e10f4a8

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