Event | When | Where | Deadline | |
ProCoS 2015 |
BCS-FACS ProCoS Workshop on Provably Correct Systems | |
Mar 9, 2015 - Mar 10, 2015 |
London, UK |
Mar 6, 2015 |
ICE 2015 |
8th Interaction and Concurrency Experience | |
Jun 5, 2015 - Jun 5, 2015 |
Grenoble, France |
Mar 16, 2015 (Mar 9, 2015) |
SaFoMe 2015 |
2nd International Workshop on Safety and Formal Methods | |
Jun 22, 2015 - Jun 22, 2015 |
Oslo, Norway |
Mar 24, 2015 |
WWV 2015 |
11th International Workshop on Automated Specification and Verification of Web Systems | |
Jun 23, 2015 - Jun 23, 2015 |
Oslo, Norway |
Mar 25, 2015 (Mar 18, 2015) |
|