Event | When | Where | Deadline | |
FMCAD 2014 |
Formal Methods in Computer-Aided Design | |
Oct 21, 2014 - Oct 24, 2014 |
Lausanne, Switzerland |
May 16, 2014 (May 6, 2014) |
SIN 2014 |
7th International Conference on the Security of Information and Networks | |
Sep 9, 2014 - Sep 11, 2014 |
Glasgow UK |
Jun 2, 2014 |
MEMOCODE 2014 |
12th ACM/IEEE International Conference on Formal Methods and Models for Codesign | |
Oct 18, 2014 - Oct 21, 2014 |
Lausanne, Switzerland |
Jul 17, 2014 (Jul 10, 2014) |
|