Event | When | Where | Deadline | |
CAV 2019 |
31st International Conference on Computer-Aided Verification | |
Jul 13, 2019 - Jul 18, 2019 |
New York City |
Feb 7, 2019 |
HPCC 2019 |
The 21st IEEE International Conference on High Performance Computing and Communications | |
Aug 10, 2019 - Aug 12, 2019 |
Zhangjiajie |
Feb 10, 2019 |
FSCD 2019 |
4th International Conference on Formal Structures for Computation and Deduction | |
Jun 24, 2019 - Jun 30, 2019 |
Dortmund, Germany |
Feb 11, 2019 (Feb 8, 2019) |
Euro-Par 2019 |
European Conference on Parallel Processing | |
Aug 26, 2019 - Aug 30, 2019 |
Göttingen |
Feb 15, 2019 |
PaCT 2019 |
The 15th International Conference on Parallel Computing Technologies | |
Aug 19, 2019 - Aug 23, 2019 |
Almaty, Kazakhstan |
Feb 17, 2019 |
PODC 2019 |
Principles of Distributed Computing | |
Jul 29, 2019 - Aug 2, 2019 |
Toronto, Canada |
Feb 18, 2019 |
ICFP 2019 |
International Conference on Functional Programming | |
Aug 18, 2019 - Aug 23, 2019 |
Berlin, Germany 18 - Fri 23 August 2019 |
Mar 1, 2019 |
Systor 2019 |
The 12th International Systems and Storage Conference | |
Jun 3, 2019 - Jun 5, 2019 |
Haifa, Israel |
Mar 7, 2019 |
QRS 2019 |
The 19th IEEE International Conference on Software Quality, Reliability, and Security | |
Jul 22, 2019 - Jul 26, 2019 |
Sofia, Bulgaria |
Mar 15, 2019 (Mar 8, 2019) |
EDCC 2019 |
EDCC 2019 : 15th European Dependable Computing Conference | |
Sep 17, 2019 - Sep 20, 2019 |
Naples, Italy |
Apr 2, 2019 (Mar 25, 2019) |
ICSME 2019 |
International Conference on Software Maintenance and Evolution | |
Sep 30, 2019 - Oct 4, 2019 |
Cleveland, USA |
Apr 5, 2019 (Mar 29, 2019) |
SC 2019 |
Conference on High Performance Computing (Supercomputing) | |
Nov 19, 2019 - Nov 21, 2019 |
Denver, Colorado, USA |
Apr 10, 2019 (Apr 2, 2019) |
ICPP 2019 |
International Conference on Parallel Processing | |
Aug 5, 2019 - Aug 8, 2019 |
Kyoto, Japan |
Apr 14, 2019 |
EuroMPI 2019 |
25th European MPI User's Group | |
Sep 11, 2019 - Sep 13, 2019 |
Zurich, Switzerland |
Apr 15, 2019 |
PACT 2019 |
28th International Conference on Parallel Architectures and Compilation Techniques | |
Sep 23, 2019 - Sep 26, 2019 |
Seattle, WA, USA |
Apr 15, 2019 (Apr 11, 2019) |
CONCUR 2019 |
30th International Conference on Concurrency Theory | |
Aug 26, 2019 - Aug 31, 2019 |
Amsterdam, The Netherlands |
Apr 22, 2019 (Apr 15, 2019) |
VSTTE 2019 |
Verified Software: Theories, Tools and Experiments | |
Jul 13, 2019 - Jul 14, 2019 |
New York |
Apr 29, 2019 (Apr 23, 2019) |
DISC 2019 |
International Symposium on Distributed Computing | |
Oct 14, 2019 - Oct 18, 2019 |
Budapest, Hungary |
May 16, 2019 |
IEEE IISWC 2019 |
2019 Annual IEEE International Symposium on Workload Characterization (IISWC'19) | |
Nov 3, 2019 - Nov 5, 2019 |
Orlando, Florida |
May 31, 2019 (May 24, 2019) |
SBAC-PAD 2019 |
International Symposium on Computer Architecture and High performance Computing | |
Oct 15, 2019 - Oct 18, 2019 |
Campo Grande, MS, Brazil |
Jun 10, 2019 (Jun 3, 2019) |
|