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

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

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…

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…

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…

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…

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…

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

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

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.

CALL FOR PAPERS

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

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…

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse

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

The Third International Workshop on Cooperative Robots and Sensor Networks OVERVIEW