Event | When | Where | Deadline | |
FESCA 2013 |
10th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
Mar 23, 2013 - Mar 23, 2013 |
Rome, Italy |
Dec 12, 2012 (Dec 5, 2012) |
SR 2013 |
First International Workshop on Strategic Reasoning | |
Mar 16, 2013 - Mar 17, 2013 |
Rome |
Dec 27, 2012 (Dec 21, 2012) |
iFM 2013 |
10th International Conference on integrated Formal Methods | |
Jun 10, 2013 - Jun 14, 2013 |
Turku, Finland |
Jan 17, 2013 (Jan 10, 2013) |
ist-awsn 2013 |
8th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks | |
Jun 25, 2013 - Jun 28, 2013 |
Halifax, Nova Scotia, Canada |
Feb 15, 2013 |
|