DUHDe – 4th Workshop on Design Automation for Understanding Hardware Designs Friday Workshop W03 at DATE 2017

15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017) The 15th International Conference on Formal Modelling and Analysis of Timed Systems will take place in Berlin (Germany). The event will be co-located with the 28th International Conference on Concurrency Theory (CONCUR) and the 14th International Conference on Quantitative Evaluation of SysTems (QEST), during QONFEST 2017.

29th EUROMICRO Conference on Real-Time Systems (ECRTS 17) June 27-30, 2017 | Dubrovnik, Croatia | ecrts17.ecrts.org  IMPORTANT DATES Submission deadline: January, 30th, 2017 (23:59 GMT-12) - firm Notifications: March 24th, 2017 ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the top three international conferences on real-time systems.

The 7th International Symposium on Internet of Ubiquitous and Pervasive Things A Brief Introduction This symposium aims at gathering researchers from the fields of wireless networking and Internet applications to discuss new opportunities and hurdles to leverage the possibilities of new applications and services for the Internet of Ubiquitous and Pervasive Things.

5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2017) The 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2017 - the 6th Mediterranean Conference on Embedded Computing, in Bar Montenegro, June 11-17, 2017. Cyber-physical systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems.

20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA. AIM AND SCOPE

3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17) In conjunction with ICSE 2017 | Call for Papers CONTEXT AND GOALS

1st Workshop on Trusted Smart Contracts in association with Financial Cryptography 17 http://fc17.ifca.ai

8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017) The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial