| Event | When | Where | Deadline | |
| CAISE 2013 |
25th International Conference on Advanced Information Systems Engineering (CAiSE'13) | |
| Jun 17, 2013 - Jun 21, 2013 |
Valencia, Spain |
Dec 7, 2012 |
| 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) |
| ISSTA 2013 |
International Symposium on Software Testing and Analysis | |
| Jul 15, 2013 - Jul 20, 2013 |
Lugano, Switzerland |
Jan 25, 2013 |
|
