Event | When | Where | Deadline | |
PAPP@SAC 2018 |
Practical Aspects of High-Level Parallel Programming, track of the 33st ACM/SIGAPP Symposium On Applied Computing | |
Apr 9, 2018 - Apr 13, 2018 |
Pau, France |
Sep 25, 2017 |
4PAD 2018 |
5th International Symposium on Formal Approaches to Parallel and Distributed Systems | |
Jul 16, 2018 - Jul 20, 2018 |
Orleans, France |
Apr 8, 2018 |
TAP 2021 |
Tests and Proofs | |
Jun 21, 2021 - Jun 25, 2021 |
Bergen, Norway |
Mar 8, 2021 (Mar 1, 2021) |
|