Event | When | Where | Deadline | |
PRDC 2019 |
Pacific Rim International Symposium on Dependable Computing | |
Dec 1, 2019 - Dec 3, 2019 |
Kyoto, Japan |
TBD |
NCA 2011 |
The 10th IEEE International Symposium on Network Computing and Applications | |
Aug 25, 2011 - Aug 27, 2011 |
Cambridge, MA USA |
Apr 1, 2011 |
NCA 2012 |
11th IEEE International Symposium on Network Computing and Applications | |
Aug 23, 2012 - Aug 25, 2012 |
Cambridge, MA, USA |
Apr 28, 2012 |
PRDC 2012 |
18th IEEE Pacific Rim International Symposium on Dependable Computing | |
Nov 18, 2012 - Nov 19, 2012 |
Niigata, Japan |
Sep 5, 2012 |
FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
IEICE Trans D Form Appr 2018 |
Special Section on Formal Approaches at IEICE Transactions on Information and Systems | |
N/A |
N/A |
Aug 21, 2017 |
DASC 2019 |
17th IEEE International Conference on Dependable Autonomic and Secure Computing | |
Aug 5, 2019 - Aug 8, 2019 |
Fukuoka, Japan |
Mar 20, 2019 |
|