Event | When | Where | Deadline | |
ComputaciĆ³n y Sistemas: Thematic Issue 2015 |
ComputaciĆ³n y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems | |
N/A |
N/A |
Jul 31, 2015 |
4PAD 2016 |
FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS | |
Feb 17, 2016 - Feb 19, 2016 |
Heraklion Crete, Greec |
Aug 9, 2015 |
4PAD 2016 |
FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS | |
Feb 17, 2016 - Feb 19, 2016 |
Heraklion Crete, Greece |
Aug 9, 2015 |
MODELSWARD 2016 |
The 4th International Conference on Model-Driven Engineering and Software Development | |
Feb 19, 2016 - Feb 21, 2016 |
Rome |
Sep 8, 2015 |
VMCAI 2016 |
17th International Conference on Verification, Model Checking, and Abstract Interpretation | |
Jan 17, 2016 - Jan 19, 2016 |
St. Petersburg, Florida, United States |
Sep 11, 2015 (Sep 4, 2015) |
APPEEC 2016 |
The 8th Asia-Pacific Power and Energy Engineering Conference | |
Apr 15, 2016 - Apr 17, 2016 |
Suzhou, China |
Sep 11, 2015 |
ISEC 2016 |
9TH INDIA SOFTWARE ENGINEERING CONFERENCE | |
Feb 18, 2016 - Feb 20, 2016 |
BITS Pilani, Goa, India |
Sep 25, 2015 (Sep 1, 2015) |
STREAMS 2015 |
Special Issue on Software Architectures and Systems for Real Time Data Stream Analytics | |
N/A |
N/A |
Sep 30, 2015 |
ESSoS 2016 |
International Symposium on Engineering Secure Software and Systems | |
Apr 6, 2016 - Apr 8, 2016 |
Royal Holloway, University of London, UK |
Oct 2, 2015 (Sep 25, 2015) |
SCSSS 2016 |
4th Scandinavian Conference on SYSTEM & SOFTWARE SAFETY | |
Mar 16, 2016 - Mar 17, 2016 |
KTH, Stockholm |
Oct 11, 2015 |
FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
FASE 2016 |
International Conference on Fundamental Approaches to Software Engineering | |
Feb 4, 2016 - Feb 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
HSCC 2016 |
Hybrid Systems Computation and Control | |
Apr 12, 2016 - Apr 14, 2016 |
Vienna |
Oct 23, 2015 (Oct 8, 2015) |
ICCMS 2016 |
ICCMS 2016 (The 7th International Conference on Computer Modeling and Simulation) | |
Jan 18, 2016 - Jan 19, 2016 |
Brisbane, Australia |
Oct 30, 2015 |
ICMTEA 2016 |
2nd International Conference on Mathematical Techniques in Engineering Applications | |
Apr 29, 2016 - Apr 30, 2016 |
Dehradun, India |
Nov 1, 2015 |
IFAC MIM SIMCA 2016 |
Invited Session on System Identification for Manufacturing Control Applications of the IFAC MIM '2016 | |
Jun 28, 2016 - Jun 30, 2016 |
Troyes, France |
Nov 1, 2015 |
MBMV 2016 |
19. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
Mar 1, 2016 - Mar 3, 2016 |
Freiburg im Breisgau, Germany |
Nov 2, 2015 |
VaMoS 2016 |
Variability Modelling of Software-Intensive Systems | |
Jan 27, 2016 - Jan 29, 2016 |
Salvador, Brazil |
Nov 9, 2015 |