Event | When | Where | Deadline | |
MBMV 2014 |
Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Mar 10, 2014 - Mar 12, 2014 |
Boeblingen, Germany |
Nov 11, 2013 (Nov 2, 2013) |
FESCA 2014 |
11th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
Apr 12, 2014 - Apr 12, 2014 |
Grenoble, France |
Dec 13, 2013 (Dec 6, 2013) |
SR 2014 |
Second International Workshop on Strategic Reasoning | |
Apr 5, 2014 - Apr 6, 2014 |
Grenoble, France |
Dec 30, 2013 (Dec 27, 2013) |
QAPL 2014 |
Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
Apr 12, 2014 - Apr 13, 2014 |
Grenoble, France |
Dec 31, 2013 (Dec 24, 2013) |
SEAMS 2014 |
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems | |
Jun 3, 2014 - Jun 4, 2014 |
Hyderabad, India |
Jan 15, 2014 (Jan 8, 2014) |
MobileSoft 2014 |
1st ACM International Conference on Mobile Software Engineering and Systems | |
Jun 2, 2014 - Jun 3, 2014 |
Hyderabad, India |
Jan 27, 2014 |
ICCGI 2014 |
Ninth International Multi-Conference on Computing in the Global Information Technology | |
Jun 22, 2014 - Jun 26, 2014 |
Seville, Spain |
Jan 28, 2014 |
SEPA 2014 |
6th International Workshop on Software Engineering Processes and Applications | |
Jun 30, 2014 - Jul 3, 2014 |
Guimaraes, Portugal |
Feb 28, 2014 |
FMCICA 2014 |
Formal Methods, Computational Intelligence and Constraint Programming for Software Assurance Workshop | |
Jun 30, 2014 - Jul 3, 2014 |
Guimaraes, Portugal |
Mar 1, 2014 |
FSE 2014 |
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | |
Nov 16, 2014 - Nov 22, 2014 |
Hong Kong, China |
Mar 16, 2014 |
SPIN 2014 |
21st International SPIN Symposium on Model Checking of Software | |
Jul 21, 2014 - Jul 23, 2014 |
San Jose, Bay Area, California |
Apr 11, 2014 |
ICSMO 2015 |
2015 3rd International Conference on System Modeling and Optimization | |
Feb 12, 2015 - Feb 13, 2015 |
Amsterdam Netherlands |
Nov 20, 2014 |
ICCMS 2015 |
2015 6th International Conference on Computer Modeling and Simulation | |
Feb 12, 2015 - Feb 13, 2015 |
Amsterdam, Netherlands |
Nov 30, 2014 |
|