Event | When | Where | Deadline | |
ASP-DAC 2014 |
Asia and South Pacific Design Automation Conference | |
Jan 20, 2014 - Jan 23, 2014 |
SunTec,Singapore |
Jul 10, 2013 |
FACS 2013 |
The 10th International Symposium on Formal Aspects of Component Software | |
Oct 28, 2013 - Oct 30, 2013 |
Nanchang, China |
Jul 15, 2013 (Jul 8, 2013) |
HVC 2013 |
HVC 2013 - Ninth Haifa Verification Conference | |
Nov 5, 2013 - Nov 7, 2013 |
Haifa, Israel |
Jul 30, 2013 |
QIK 2014 |
The 11th International Research conference on Quality, Innovation, and Knowledge | |
Jun 3, 2013 - Feb 21, 2014 |
Bandung, Indonesia |
Oct 30, 2013 |
IPDCA 2013 |
Second International conference on Parallel, Distributed Computing and Applications | |
Dec 20, 2013 - Dec 21, 2013 |
Bangalore,India |
Nov 11, 2013 |
ACECS 2014 |
International Conference on Automation, Control, Engineering and Computer Science (ACECS'14) | |
Mar 22, 2014 - Mar 25, 2014 |
Sousse, Tunisia |
Dec 31, 2013 |
ISMIS 2014 |
21th International Symposium on Methodologies for Intelligent Systems | |
Jun 25, 2014 - Jun 27, 2014 |
Roskilde, Denmark |
Feb 3, 2014 |
AVOCS 2014 |
Automated Verification of Critical Systems | |
N/A |
N/A |
May 31, 2014 |
|