| Event | When | Where | Deadline | |
| FM 2015 |
International Symposium on Formal Methods | |
| Jun 22, 2015 - Jun 26, 2015 |
Oslo, Norway |
Jan 9, 2015 (Jan 2, 2015) |
| iFM 2017 |
11th International Conference on Tests And Proofs | |
| Jul 19, 2017 - Jul 20, 2017 |
Marburg, Germany |
Feb 24, 2017 (Feb 17, 2017) |
| ESOCC 2017 |
6th European Conference on Service-Oriented and Cloud Computing | |
| Sep 27, 2017 - Sep 29, 2017 |
Oslo, Norway |
May 5, 2017 |
|
