Event | When | Where | Deadline | |
ICECCS 2016 |
21th International Conference on Engineering of Complex Computer Systems | |
Nov 6, 2016 - Nov 8, 2016 |
Dubai, United Arab Emirates |
Jun 27, 2016 (Jun 21, 2016) |
RTNS 2016 |
24th International Conference on Real-Time Networks and Systems | |
Oct 19, 2016 - Oct 21, 2016 |
Brest, France |
Jul 25, 2016 |
MEMOCODE 2016 |
ACM-IEEE International Conference on Formal Methods and Models for System Design | |
Nov 18, 2016 - Nov 20, 2016 |
Indian Institute of Technology, Kanpur |
Jul 29, 2016 (Jul 22, 2016) |
FTSCS 2016 |
Fifth International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 14, 2016 - Nov 15, 2016 |
Tokyo |
Sep 4, 2016 |
FMBBS 2016 |
IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems | |
Dec 18, 2016 - Dec 18, 2016 |
Shenzhen, China |
Sep 20, 2016 (Sep 13, 2016) |
ICST 2017 |
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017 | |
Mar 13, 2017 - Mar 18, 2017 |
Tokyo, Japan |
Sep 23, 2016 |
FSEN 2017 |
Fundamentals of Software Engineering | |
Apr 26, 2017 - Apr 28, 2017 |
Tehran, Iran |
Oct 29, 2016 (Oct 22, 2016) |
|