14th International Symposium on Applied Reconfigurable Computing (ARC 2018) Reconfigurable computing technologies offer the promise of substantial performance gains over traditional architectures via customizing, even at runtime, the topology of the underlying architecture to match the specific needs of a given application. Contemporary configurable architectures allow for the definition of architectures with functional and storage units that match in function, bit-width and control structures the specific needs of a given computation.

The 8th International Conference on Information Technology in Education (CITE 2017) Special tracks within the Conference on Creative Education (CCE 2017). The main objective of CITE 2017 is to provide a platform for researchers, engineers and academicians from all over the world to present their research results and development activities on Information Technology in Education.

December 1, 2017 | Munich, Germany Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware.

Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17) Held in conjunction with ESWEEK 2017 

The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/   Invited Speakers Cliff Jones (Newcastle University) Rupak Majumdar (Max Planck Institute for Software Systems) Sanjit Seshia (University of California, Berkeley) Program Chairs:

CPS Summer School 2017 Designing Cyber-Physical Systems – From concepts to implementation Multi-objective Methodologies and Tools for Self-healing and Adaptive Systems Porto Conte Ricerche, Alghero - Sardinia - Italy | September 25-30, 2017 | http://www.cpsschool.eu

Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) September 04, 2017 | Berlin (Germany) | https://www.concur2017.tu-berlin.de/express_sos.html Affiliated with CONCUR 2017 SCOPE AND TOPICS:

8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)  June 27th, 2017  | Dubrovnik, Croatia | http://waters2017.inria.fr

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.