Event | When | Where | Deadline | |
ISOLA 2016 |
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | |
Oct 5, 2016 - Oct 14, 2016 |
Corfu |
May 2, 2016 (Apr 25, 2016) |
VTC Fall 2017 |
2017 IEEE 86th Vehicular Technology Conference: VTC2017-Fall | |
Sep 24, 2017 - Sep 27, 2017 |
Toronto, Canada |
Mar 13, 2017 |
ICFEM 2017 |
19th International Conference on Formal Engineering Methods | |
Nov 13, 2017 - Nov 17, 2017 |
Xi'an |
May 7, 2017 (Apr 30, 2017) |
WISTP 2017 |
11th International Conference on Information Security Theory and Practice | |
Sep 28, 2017 - Sep 29, 2017 |
Heraklion, Crete |
Jun 15, 2017 |
ACM WiNTECH 2017 |
The 11th ACM Workshop on Wireless Network Testbeds, Experimental evaluation & CHaracterization | |
Oct 16, 2017 - Oct 16, 2017 |
Snowbird, Utah, US |
Jun 22, 2017 (Jun 15, 2017) |
IEEE--ICAVE 2017 |
2017 International Conference on Automotive and Vehicle Engineering (ICAVE 2017)-IEEE Xplore and Ei Compendex | |
Sep 1, 2017 - Sep 3, 2017 |
Singapore |
Jul 5, 2017 |
CPS-SPC 2017 |
ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC) | |
Nov 3, 2017 - Nov 3, 2017 |
Dallas, TX |
Aug 4, 2017 |
|