1st International Workshop about Sets and Tools (SETS 2014) Affiliated to ABZ 2014

The Third International Workshop on Cooperative Robots and Sensor Networks OVERVIEW

Design Methods for Automotive Systems and Software The automotive track has been created this year to bring together researchers and practitioners from the automotive domain with their counterparts from the embedded systems & software (ESS) domains…

The 23rd International Workshop on Logic & Synthesis sponsored by ACM/SIGDA and by the IEEE

CALL FOR PAPERS

The third International Workshop – IWOCPS 3 took place on the 29-30th of May 2014, addressing theoretical, methodological and technological aspects in the field of Cyber-Physical Systems.

International Workshop on Dynamic Resource Allocation and  Management in Embedded, High Performance and Cloud Computing DreamCloud is the first workshop aiming to encourage technical and scientific

Distributed sensor systems have become a highly active research area due to their potential for providing diverse new capabilities applications.

2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems May, 23rd, Phoenix, USA held in conjunction to the IPDPS 2014 conference, May 19-23rd, 2014   Background The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems…

28th IEEE International Parallel & Distributed Processing Symposium   IPDPS is an international forum for engineers and scientists from around the world to present their latest research findings in all aspects of parallel computation. In…

The 2014 IEEE Symposium on Security and Privacy was held in San Jose, California on May 18-21. The 2014 Symposium marked the 35th annual meeting of this flagship conference.  Since 1980, the IEEE Symposium on Security and Privacy has been the…

The 2014 IEEE CS Security and Privacy Workshops (SPW) were co-located with the 2014 IEEE Symposium on Security and Privacy in San Jose, California and were held on May 17-18. In order to further expand the opportunities for scientific exchanges…

USDOT Connected Vehicle PlugFest Training Location (May 13, 1:00 - 4:30 PM EST): Via Webinar (link will be sent to registrants prior to the PlugFest training) Testing Location (May 14-15): Carrier & Gable Facility - 24110 Research Drive - Farmington…

1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is

Eurocrypt 2014 was the 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. It was devoted to all aspects of cryptology. Eurocrypt 2014 is one of the three flagship conferences of International…