Event | When | Where | Deadline | |
ATVA 2015 |
13th International Symposium on Automated Technology for Verification and Analysis | |
Oct 12, 2015 - Oct 15, 2015 |
Shanghai, China |
May 2, 2015 (Apr 29, 2015) |
WPHS-ATVA 2015 |
Workshop on Probabilistic and Hybrid Systems | |
Oct 12, 2015 - Oct 15, 2015 |
Shanghai, China |
Jul 1, 2015 |
SETTA 2016 |
Symposium on Dependable Software Engineering Theories, Tools and Applications 2016 | |
Nov 9, 2016 - Nov 11, 2016 |
Beijing, China |
Jun 19, 2016 (Jun 12, 2016) |
CONCUR 2018 |
29th International Conference on Concurrency Theory | |
Sep 4, 2018 - Sep 7, 2018 |
Beijing, China |
Apr 23, 2018 (Apr 17, 2018) |
|