20th International Symposium on Formal Methods SCOPE AND TOPICS

1st Workshop on Middleware for a Smarter Use of Electric Energy in conjunction with NetSys 2015, Cottbus, Germany https://www.netsys2015.com/workshops-tutorials/midsee/ MOTIVATION & WORKSHOP SCOPE

IEEE 2015 International Conference on Industrial technology. ICIT 2015 ICIT 2015 is the annual International Conference on Industrial Technology, focusing on intelligent and computer control systems, robotics, factory communications and automation, flexible manufacturing, sensing, data acquisition and signal processing, computing and networking, vision systems, power electronics and electrical machines,

8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014) in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014) Call for papers

Multi-Core and Many-Core systems for EMbedded Computing (MC)3 Special session in 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) This special session addresses all aspects of multi-core and many-core embedded systems design. It presents new ideas in the multi-core field such as theory and modeling, scalable and fault tolerant design approaches and frameworks, algorithms, software, tools and applications, analysis and comparison, design techniques and emerging implementations.

Call for Participation We cordially invite you to participate in the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). DSN is the premier international forum for presenting research results in the broad field of dependability, ranging from hardware to applications and including important areas in between such as networks, distributed systems and the cloud, cyber-physical systems, and socio-technical aspects.

International Conference on Pervasive and Embedded Computing and Communication Systems PECCS In Cooperation with: EUROMICRO and EURASIP Co-organized by: ESEO Sponsored by: INSTICC INSTICC is Member of: WfMC Logistics Partner: SCITEVENTS

26th EUROMICRO conference on Real-time Systems Organised by the Euromicro Technical Committee on Real-Time Systems *Tuesday  2014-07-08*

CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN EXTENDED DEADLINE Summer School MOVEP 2014 11th School on MOdelling and VErifying parallel Processes 7 -- 11 July 2014, Nantes, France http://movep14.irccyn.ec-nantes.fr/ enquiries / submissions: movep14@irccyn.ec-nantes.fr