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/

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/

HPEC — 2020 IEEE High Performance Extreme Computing Conference
22nd September 2020   -   24th September 2020

Waltham MA, United States

HPEC is the largest computing conference in New England and is the premier conference in the world on the convergence of High Performance and Embedded Computing We are passionate about performance O...

http://www.ieee-hpec.org

SODA21 — ACM SIAM Symposium on Discrete Algorithms
10th January 2021   -   13th January 2021

Alexandria, United States

This symposium focuses on research topics related to efficient algorithms and data structures for discrete problems In addition to the design of such methods and structures the scope also includes t...

https://www.siam.org/conferences/cm/conference/soda21

Your Conference Book