35 Conference found

ECOOP 2020 — European Conference on Object-oriented Programming, 34th edition of ECOOP
13th July 2020   -   17th July 2020

Berlin, Germany

ECOOP is Europe s longest standing annual Programming Languages PL conference bringing together researchers practitioners and students to share their ideas and experiences in all topics related...

https://2020.ecoop.org

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

ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
3rd August 2020   -   13th August 2020

Utrecht, Netherlands

Under the auspices of FoLLI the European Summer School in Logic Language and Information ESSLLI is organized every year in a different European country It takes place over two weeks in the Europe...

https://www.esslli.eu

ICPP — International Conference on Parallel Processing
17th August 2020   -   20th August 2020

Edmonton, Canada

International Conference on Parallel Processing

https://jnamaral.github.io/icpp20/

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/

ADBIS 2020 — 24th European Conference on Advances in Databases and Information Systems
25th August 2020   -   28th August 2020

Lyon, France

The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and info...

http://eric.univ-lyon2.fr/adbis-tpdl-eda-2020/adbis/

Your Conference Book