3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) Affiliated with ETAPS 2017 Scope  Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.

CALL FOR PAPERS

24th Reconfigurable Architectures Workshop (RAW 2017)              The 24th Reconfigurable Architectures Workshop (RAW 2017) will be held at the Buena Vista Palace Hotel in Orlando, Florida USA in May 2017. RAW 2017 is associated with the 31st Annual IEEE International Parallel & Distributed Processing Symposium (IEEE IPDPS 2017) and is sponsored by the IEEE Computer Society and the Technical Committee on Parallel Processing.

The 17th IEEE International Conference on Computer and Information Technology (IEEE CIT 2017) held jointly with NSS 2017 and ICA3PP 2017 Keynote speakers

20th IEEE International Symposium on Real-Time Computing (ISORC 2017) May 16-18, 2017 | The Fields Institute, Toronto, Canada | http://isorc2017.org/

Fourth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS17) In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2017.

You are invited to participate in The Third International Conference on Information Security and Digital Forensics (ISDF2017) that will be held in Metropolitan College, Thessaloniki, Greece on Dec 8-10, 2017. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures. All registered papers will be published in SDIWC Digital Library, and in the proceedings of the conference.

Final Call for Workshops Proposals The 13th International Conference on integrated Formal Methods (iFM 2017) Turin, Italy | September 18th - 22nd, 2017 | http://www.ifm2017.di.unito.it/ Important Dates

Track: Workshop on Adaptive Technology (WAT 2017) The 8th International Conference on Ambient Systems, Networks and Technologies http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=61fe7a8330&e=7a0e921367 Theme Adaptive approach aims to aid the solution search of practical problems through auto-modifiable mathematical abstractions such as adaptive models and devices. In other words, the adaptive approach can be described as an auto-modifiable formalism.

STAF 2017 Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.