Event | When | Where | Deadline | |
QAPL 2015 |
Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
Apr 11, 2015 - Apr 12, 2015 |
London, UK |
Dec 14, 2014 |
FESCA 2015 |
12th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
Apr 12, 2015 - Apr 12, 2015 |
London, UK |
Dec 17, 2014 (Dec 10, 2014) |
FM 2015 |
International Symposium on Formal Methods | |
Jun 22, 2015 - Jun 26, 2015 |
Oslo, Norway |
Jan 9, 2015 (Jan 2, 2015) |
DisCoTec 2015 |
10th International Federated Conference on Distributed Computing Techniques | |
Jun 2, 2015 - Jun 5, 2015 |
Grenoble, France |
Jan 23, 2015 (Jan 16, 2015) |
COUFLESS 2015 |
1st International Workshop on COmplex faUlts and Failures in LargE Software Systems at ICSE 2015 | |
May 23, 2015 - May 23, 2015 |
Firenze, Italy |
Jan 23, 2015 |
FormaliSE 2015 |
FME Workshop on Formal Methods in Software Engineering | |
May 18, 2015 - May 18, 2015 |
Florence, Italy |
Jan 23, 2015 |
ARCH 2015 |
2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) | |
Apr 13, 2015 - Apr 13, 2015 |
Seattle, WA |
Feb 12, 2015 |
SYNT 2014 |
Acta Informatica Special Issue on the 3rd Workshop on Synthesis | |
N/A |
N/A |
Mar 1, 2015 |
TASE 2015 |
The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) | |
Sep 12, 2015 - Sep 14, 2015 |
Nanjing, China |
Mar 14, 2015 (Mar 7, 2015) |
|