| Event | When | Where | Deadline | |
| WInnComm 2015 |
Wireless Innovation Forum Conference on Wireless Communications Technologies and Software Defined Radio | |
| Mar 24, 2015 - Mar 26, 2015 |
San Diego |
Dec 5, 2014 (Sep 26, 2014) |
| CBSE 2015 |
Component-Based Software Engineering | |
| May 4, 2015 - May 8, 2015 |
Montreal |
Dec 21, 2014 |
| WICSA 2015 |
Working IEEE/IFIP Conference on Software Architecture | |
| May 4, 2015 - May 8, 2015 |
Ottawa, Ontario |
Jan 15, 2015 (Jan 6, 2014) |
| FormaliSE 2015 |
FME Workshop on Formal Methods in Software Engineering | |
| May 18, 2015 - May 18, 2015 |
Florence, Italy |
Jan 23, 2015 |
| ICFCA 2015 |
3rd Call for Papers: International Conference on Formal Concept Analysis 2015 | |
| Jun 23, 2015 - Jun 26, 2015 |
Nerja, Málaga |
Jan 23, 2015 (Jan 16, 2015) |
| A-MOST 2015 |
The 11th Workshop on Advances in Model Based Testing | |
| Apr 17, 2015 - Apr 17, 2015 |
Graz, Austria |
Jan 30, 2015 |
| WebET 2015 |
CFP - WWW2015 Workshop on Web-based Education Technologies | |
| May 19, 2015 - May 20, 2015 |
Florence, Italy |
Feb 1, 2015 |
| SBSI 2015 |
XI Brazilian Symposium on Information Systems | |
| May 26, 2015 - May 29, 2015 |
Goiânia-GO, Brazil |
Feb 2, 2015 |
| VPT 2015 |
3rd International Workshop on Verification and Program Transformation | |
| Apr 11, 2015 - Apr 11, 2015 |
London, UK |
Feb 6, 2015 (Jan 16, 2015) |
| CBMS 2015 |
The 28th IEEE International Symposium on Computer-Based Medical Systems | |
| Jun 22, 2015 - Jun 25, 2015 |
Sao Carlos, SP, Brazil |
Feb 9, 2015 (Feb 2, 2015) |
| SEFM 2015 |
Software Engineering and Formal Methods (workshop proposals) | |
| Sep 7, 2015 - Sep 8, 2015 |
York, UK |
Feb 9, 2015 |
| CBMI 2015 |
13th International Workshop on Content-Based Multimedia Indexing | |
| Jun 10, 2015 - Jun 12, 2015 |
Prague, Czech Republic |
Feb 16, 2015 |
| SAFECOMP 2015 |
SAFECOMP 2015 : The 34rd International Conference on Computer Safety, Reliability and Security | |
| Sep 22, 2015 - Sep 25, 2015 |
Delft |
Mar 2, 2015 (Feb 26, 2015) |
| ICSEM 2015 |
2015 4th International Conference on System Engineering and Modeling | |
| May 18, 2015 - May 19, 2015 |
Roma, Italy |
Mar 5, 2015 |
| ProCoS 2015 |
BCS-FACS ProCoS Workshop on Provably Correct Systems | |
| Mar 9, 2015 - Mar 10, 2015 |
London, UK |
Mar 6, 2015 |
| KES 2015 |
Knowledge-Based and Intelligent Information & Engineering Systems 2015 (KES2015) | |
| Sep 7, 2015 - Sep 9, 2015 |
Singapore |
Mar 9, 2015 |
| SEFM 2015 |
International Conference on Software Engineering and Formal Methods SEFM 2015 | |
| Sep 7, 2015 - Sep 11, 2015 |
York, UK |
Mar 20, 2015 (Mar 13, 2015) |
| MASCOTS 2015 |
Modeling, Analysis, and Simulation On Computer and Telecommunication Systems | |
| Oct 5, 2015 - Oct 7, 2015 |
Georgia Tech Campus, Atlanta, GA, USA |
Mar 23, 2015 (Mar 16, 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) |
|
