| Event | When | Where | Deadline | | | Expired CFPs |
| GandALF 2016 |
The Seventh International Symposium on Games, Automata, Logics and Formal Verification | |
| Sep 14, 2016 - Sep 16, 2016 |
Catania, Italy |
May 27, 2016 (May 20, 2016) |
| MOVEP 2016 |
12th Summer School on Modelling and Verification of Parallel Processes | |
| Jun 27, 2016 - Jul 1, 2016 |
Genova |
May 10, 2016 |
|
