19 Conference found

ACT — USENIX Annual Technical Conference
15th July 2020   -   17th July 2020

Boston, United States

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...

https://www.usenix.org/conference/atc20

SPAA '20 — 32nd ACM Symposium on Parallelism in Algorithms and Architectures
15th July 2020   -   17th July 2020

Philadelphia, United States

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...

https://spaa.acm.org/

ISSTA 2020 — ACM SIGSOFT International Symposium on Software Testing and Analysis
18th July 2020   -   22nd July 2020

Los Angeles, United States

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...

https://conf.researchr.org/home/issta-2020

CAV : International Conference on Computer Aided Verification
19th July 2020   -   24th July 2020

Los Angeles, United States

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...

http://i-cav.org/2020/

CCC — Conference on Computational Complexity
28th July 2020   -   31st July 2020

Saarbruecken, Germany

The Computational Complexity Conference CCC is an annual conference on the inherent difficulty of computational problems in terms of the resources they require

https://computationalcomplexity.org

CCCG 2020 — 32nd Canadian Conference on Computational Geometry
5th August 2020   -   7th August 2020

University of Saskatchewan Saskatoon, Canada

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...

http://vga.usask.ca/cccg2020/

Trisections: New Directions in Low-Dimensional Topology
6th August 2020   -   9th August 2020

Lincoln Nebraska, United States

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 ...

https://sites.google.com/view/trisections-2020/home

USENIX Security : USENIX Security Symposium
12th August 2020   -   14th August 2020

Boston, United States

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 ...

https://www.usenix.org/conference/usenixsecurity20

ICFP — International Conference on Functional Programming
24th August 2020   -   26th August 2020

Jersey City, United States

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...

https://icfp20.sigplan.org/

ECCB 2020 — 19th European Conference on Computational Biology
5th September 2020   -   9th September 2020

Barcelona, Spain

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 ...

https://eccb2020.info/

Your Conference Book