Event | When | Where | Deadline | |
PACT 2016 |
25th International Conference on Parallel Architectures and Compilation Techniques | |
Sep 11, 2016 - Sep 15, 2016 |
Haifa, Israel |
Mar 18, 2016 (Mar 12, 2016) |
VECoS 2016 |
International Workshop on Verification and Evaluation of Computer and Communication Systems | |
Oct 6, 2016 - Oct 7, 2016 |
Tunis, Tunisia |
Apr 18, 2016 |
MFCS 2016 |
International Symposium on Mathematical Foundations of Computer Science | |
Aug 22, 2016 - Aug 26, 2016 |
Krakow (Poland) |
Apr 25, 2016 (Apr 21, 2016) |
ATVA 2016 |
14th International Symposium on Automated Technology for Verification and Analysis | |
Oct 17, 2016 - Oct 19, 2016 |
Chiba, Japan |
Apr 26, 2016 (Apr 23, 2016) |
ICFEM 2016 |
International Conference on Formal Engineering Methods | |
Nov 14, 2016 - Nov 18, 2016 |
Tokyo |
Apr 30, 2016 (Apr 22, 2016) |
MOVEP 2016 |
12th Summer School on Modelling and Verification of Parallel Processes | |
Jun 27, 2016 - Jul 1, 2016 |
Genova |
May 10, 2016 |
ICA3PP 2016 |
The 16th International Conference on Algorithms and Architectures for Parallel Processing | |
Dec 14, 2016 - Dec 16, 2016 |
Granada, Spain |
May 15, 2016 |
ICCD 2016 |
International Conference on Computer Design | |
Oct 3, 2016 - Oct 5, 2016 |
Phoenix, USA |
May 20, 2016 (May 13, 2016) |
TIME 2016 |
23rd International Symposium on Temporal Representation and Reasoning | |
Oct 17, 2016 - Oct 19, 2016 |
Copenhagen, Denmark |
Jun 20, 2016 |
|