Event | When | Where | Deadline | |
GandALF 2015 |
The Sixth International Symposium on Games, Automata, Logics and Formal Verification | |
Sep 21, 2015 - Sep 23, 2015 |
Genova |
May 29, 2015 (May 22, 2015) |
MOVEP 2016 |
12th Summer School on Modelling and Verification of Parallel Processes | |
Jun 27, 2016 - Jul 1, 2016 |
Genova |
May 10, 2016 |
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) |
|