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) |
|