Event | When | Where | Deadline | |
REFSQ 2015 |
21st Intl. Working Conference on Requirements Engineering: Foundation for Software Quality | |
Mar 23, 2015 - Mar 26, 2015 |
Essen, Germany |
TBD |
ROLDBDSWA 2016 |
Applied Ontology Special Issue on the Role of Ontologies in Linked Data, Big Data and Semantic Web Applications. | |
N/A |
N/A |
TBD |
FASE 2018 |
21st International Conference on Fundamental Approaches to Software Engineering | |
Apr 14, 2018 - Apr 21, 2018 |
Thessaloniki, Greece |
TBD |
TACAS 2014 |
Tools and Algorithms for Construction and Analysis of Systems | |
Apr 5, 2014 - Apr 13, 2014 |
Grenoble |
Oct 11, 2013 (Oct 4, 2013) |
SAMOS 2014 |
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) | |
Jul 14, 2014 - Jul 17, 2014 |
Samos, Greece |
Feb 28, 2014 |
SAS 2014 |
21st International Static Analysis Symposium | |
Sep 11, 2014 - Sep 13, 2014 |
Munich, Germany |
Mar 14, 2014 (Mar 7, 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 |
MDAI 2014 |
11th Int. Conf. on Modeling Decisions for Artificial Intelligence | |
Oct 29, 2014 - Oct 31, 2014 |
Tokyo, Japan |
Mar 24, 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 |
KSEM 2014 |
The 7th International Conference on Knowledge Science, Engineering and Management | |
Oct 16, 2014 - Oct 18, 2014 |
Sibiu, Romania |
May 5, 2014 |
AVOCS 2014 |
Automated Verification of Critical Systems | |
N/A |
N/A |
May 31, 2014 |
SBESC 2014 |
4th Brazilian Symposium on Computing Systems Engineering | |
Nov 3, 2014 - Nov 7, 2014 |
Manaus - Brazil |
Jul 20, 2014 |
SBGames 2014 |
XIII Brazilian Symposium on Computer Games and Digital Entertainment | |
Nov 12, 2014 - Nov 14, 2014 |
Porto Alegre |
Jul 23, 2014 (Jul 9, 2014) |
HVC 2014 |
10th Haifa Verification Conference | |
Nov 18, 2014 - Nov 20, 2014 |
Haifa, Israel |
Jul 29, 2014 |
Mhealth-Eco 2014 |
mHealth Ecosystems [AoIS - Springer] | |
N/A |
N/A |
Aug 30, 2014 |
SI REPRODUCE 2015 |
Special journal issue on Reproducible Research Methodologies | |
N/A |
N/A |
Sep 1, 2014 |
ACM SAC 2015 |
30th Annual ACM Symposium on Applied Computing / Software Verification and Testing Track | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
VMCAI 2015 |
16th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 12, 2015 - Jan 14, 2015 |
Mumbai, India |
Sep 12, 2014 (Sep 5, 2014) |
SA-TTA 2015 |
Software Architecture: Theory, Technology, and Applications (SA-TTA 2015), conference track at ACM/SIGAPP Symposium on Applied Computing (SAC 2015) | |
Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
ERP Future 2014 |
ERP Future 2014 - Research | |
Nov 17, 2014 - Nov 17, 2014 |
Dornbirn - Austria |
Sep 15, 2014 |
|