Event | When | Where | Deadline | |
QEST 2019 |
16th International Conference on Quantitative Evaluation of SysTems | |
Sep 9, 2019 - Sep 12, 2019 |
Glasgow |
Apr 5, 2019 (Mar 29, 2019) |
ICSME 2019 |
International Conference on Software Maintenance and Evolution | |
Sep 30, 2019 - Oct 4, 2019 |
Cleveland, USA |
Apr 5, 2019 (Mar 29, 2019) |
FM 2019 |
23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods | |
Oct 7, 2019 - Oct 11, 2019 |
Porto, Portugal |
Apr 11, 2019 (Mar 28, 2019) |
MODELS 2019 |
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems | |
Sep 15, 2019 - Sep 20, 2019 |
Munich, Germany |
Apr 29, 2019 (Apr 22, 2019) |
SEFM 2019 |
Software Engineering and Formal Methods | |
Sep 16, 2019 - Sep 20, 2019 |
Oslo, Norway |
May 10, 2019 (May 3, 2019) |
ASE 2019 |
Automated Software Engineering | |
Nov 11, 2019 - Nov 15, 2019 |
San Diego, California, United States |
May 13, 2019 (May 6, 2019) |