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.

Intelligent Systems Conference 2017 (IntelliSys 2017) Intelligent Systems Conference (IntelliSys) 2017 will focus on areas of intelligent systems and artificial intelligence (AI) and how it applies to the real world. IntelliSys is one of the best respected Artificial Intelligence (AI) Conference.

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

The 36th Annual International Conference on Conceptual Modeling (ER 2017) The International Conference on Conceptual Modeling (ER) is the leading international forum for current research on conceptual modeling and trendsetting applications.

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.

IEEE 26th International Symposium on Industrial Electronics (ISIE 2017) ISIE 2017 is the annual International Symposium on Industrial Electronics covering industrial electronics technologies. Industry experts, researchers and academics are cordially invited to join us in Edinburgh, the beautiful and historic capital of Scotland, to participate in a three day symposium. Accepted technical papers are expected to be disseminated to the audience either as standard 15 minutes oral presentations or as posters (in dialogue sessions).

2nd International Conference on Reliable Software Technologies - Ada-Europe 2017 Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED(*), SIGPLAN and the Ada Resource Association (ARA) (*) approval pending