11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE) to be held in conjunction with IECON 2017 Beijing, China, October 29 - November 1, 2017   Submissions Submissions are possible as full paper (see here). Aim and topics

The 7th Halmstad Summer School on Testing (Organised in cooperation with the TOCSYC Network) 

10th International Conference on Electrical and Electronics Engineering Aim and Scope The conference aims to provide a forum for electrical and electronics engineers and scientists in academia and industry to present their works and to share their experiences in the area of electrical and electronics engineering. Conference Topics

International Workshop on Methods and Tools for Distributed Hybrid Systems (DHA 2017) Associated with MFCS 2017

1st School on Foundations of Programming and Software systems.

The Thirteenth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+13) The Workshop on Tree-Adjoining Grammars and Related Formalisms (TAG+) is a workshop series, inaugurated in 1990, that fosters exchange of ideas among linguists, psycholinguists, and computer scientists interested in modelling natural language using formal grammars.

14th International Conference on Logic Programming and Nonmonotonic Reasoning  LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation.

15th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) co-located withInternational Conference on Formal Methods in Computer-Aided Design (FMCAD) http://www.fmcad.org/FMCAD17

CALL FOR PAPERS 13th European Dependable Computing Conference (EDCC 2017) Geneva, Switzerland  | 4-8 September 2017 | http://edcc2017.unige.ch/

Design Automation Conference (DAC 2017) The Design Automation Conference (DAC) is recognized as the premier conference for design and automation of electronic systems.  DAC offers outstanding training, education, exhibits and superb networking opportunities for designers, researchers, tool developers and vendors.