94 Conference found

SC19: International Conference for High Performance Computing, Networking, Storage and Analysis
17th November 2019   -   22nd November 2019

Denver CO, United States

SC19 International Conference for High Performance Computing Networking Storage and Analysis

http://www.supercomputing.org/

Middleware — International Middleware Conference
9th December 2019   -   13th December 2019

UC Davis, United States

The annual Middleware conference is a major forum for the discussion of innovations and recent scientific advances of middleware systems with a focus on the design implementation deployment and eva...

http://2019.middleware-conference.org/

WINE — International Conference on Web and Internet Economics
10th December 2019   -   12th December 2019

New York, United States

Over the past decade research in theoretical computer science artificial intelligence operations research and economics has joined forces to tackle problems involving incentives and computation T...

http://wine2019.cs.columbia.edu/

ITCS — Conference on Innovations in Theoretical Computer Science
12th January 2020   -   14th January 2020

Seattle, United States

The 11th Innovations in Theoretical Computer Science ITCS conference will be held at the University of Washington in Seattle Washington from January 12 14 2020 See the local arrangements website ...

http://itcs-conf.org/itcs20/itcs20-cfp.html

POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19th January 2020   -   25th January 2020

New Orleans Louisiana, United States

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems Both theoretical and experimental papers are ...

https://popl20.sigplan.org/

VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19th January 2020   -   21st January 2020

New Orleans Louisiana, United States

VMCAI provides a forum for researchers from the communities of Verification Model Checking and Abstract Interpretation facilitating interaction cross fertilization and advancement of hybrid metho...

https://popl20.sigplan.org/home/VMCAI-2020

VMCAI — Verification, Model Checking and Abstract Interpretation
19th January 2020   -   25th January 2020

New Orleans, United States

21th International Conference on Verification Model Checking and Abstract Interpretation VMCAI 2020 January 19 21 2020 New Orleans Louisiana United States VMCAI provides a forum for researc...

https://popl20.sigplan.org/home/VMCAI-2020#Call-for-Papers

CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20th January 2020   -   21st January 2020

New Orleans Louisiana, United States

Certified Programs and Proofs CPP is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work Certification h...

https://popl20.sigplan.org/home/CPP-2020

TSOA-ID — Tri-Service Open Architecture Interoperability Demonstration
29th January 2020   -   29th January 2020

Atlanta, United States

Showcase of never before seen developments in the growing open market ecosystem Live demonstrations on Systems Acquisition and Integration Module Specification and Development Conformance qualific...

http://www.tsoa-id.com

PpoPP 2020 — ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
22nd February 2020   -   26th February 2020

San Diego California, United States

PPoPP is the premier forum for leading work on all aspects of parallel programming including theoretical foundations techniques languages compilers runtime systems tools and practical experienc...

https://ppopp20.sigplan.org/home

Your Conference Book