The 2020 USENIX Annual Technical Conference will take place on July 15 17 2020 at the Sheraton Boston in Boston MA USA USENIX ATC brings together leading systems researchers for the presentatio...
The 32nd ACM Symposium on Parallelism in Algorithms and Architectures SPAA 20 is sponsored by the ACM Special Interest Groups on Algorithms and Computation Theory SIGACT and Computer Architecture...
The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis bringing together academics industrial researchers and pr...
CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer aided formal analysis methods for hardware and software systems The conference will take place Jul...
The Computational Complexity Conference CCC is an annual conference on the inherent difficulty of computational problems in terms of the resources they require
The Canadian Conference on Computational Geometry CCCG is a forum to disseminate and discuss new theoretical and applied results in discrete and computational geometry CCCG focuses on the design of...
This conference will focus on trisections of smooth 4 manifolds and related topics There is some space available for contributed talks and we have funding for participant support The deadline to ...
Please join us in Boston for the 29th USENIX Security Symposium USENIX Security brings together researchers practitioners system administrators system programmers and others to share and explore ...
ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming The main conference will take place during August 24 26 2020 at the Hyatt Regency Jersey City on the Hudson Co l...
Sitges has always been a place which has enchanted artists tourists and visitors from all over the world For many the secret lies in its light and almost 300 days of sun that it enjoys every year ...