Event | When | Where | Deadline | |
NFM 2015 |
NASA Formal Methods Symposium 2015 | |
Apr 27, 2015 - Apr 29, 2015 |
Pasadena, California, USA |
Nov 10, 2014 |
VaMoS 2015 |
Ninth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS) | |
Jan 21, 2015 - Jan 23, 2015 |
Hildesheim, Germany |
Nov 10, 2014 |
ICIAE 2015 |
The 3rd International Conference on Industrial Application Engineering 2015 | |
Mar 28, 2015 - Mar 31, 2015 |
Kitakyushu, Japan |
Nov 28, 2014 |
SCSE 2015 |
The 2015 International Conference on Soft Computing and Software Engineering (SCSE'15) | |
Mar 5, 2015 - Mar 6, 2015 |
University of California, Berkeley, Suta |
Nov 30, 2014 |
WICSA 2015 |
Working IEEE/IFIP Conference on Software Architecture | |
May 4, 2015 - May 8, 2015 |
Ottawa, Ontario |
Jan 15, 2015 (Jan 6, 2014) |
CAV 2015 |
27th International Conference on Computer Aided Verification | |
Jul 18, 2015 - Jul 24, 2015 |
san francisco |
Feb 6, 2015 |
FSE 2015 |
Foundations of Software Engineering | |
Aug 31, 2015 - Sep 4, 2015 |
Bergamo, Italy |
Mar 16, 2015 |
ECSA 2015 |
European Conference on Software Architecture | |
Sep 8, 2015 - Sep 11, 2015 |
Dubrovnik/Cavtat |
Apr 17, 2015 (Apr 11, 2015) |
|