| Event | When | Where | Deadline | | | Expired CFPs |
| GandALF 2014 |
5th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 10, 2014 - Sep 12, 2014 |
Verona |
Jun 1, 2014 (May 27, 2014) |
| TIME 2014 |
International Symposium on Temporal Representation and Reasoning | |
| Sep 8, 2014 - Sep 10, 2014 |
Verona, Italy |
Apr 17, 2014 (Apr 10, 2014) |
|
