FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in…

1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014) FM 2014 website: http://www.comp.nus.edu.sg/~pat/FM2014/cfp.html Goals: The growing complexity of real-time embedded…

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. The focus of the IEEE DCOSS conference is on distributed computing issues in large scale networked sensor…

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 exchanges between senior academics, young…

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. The aim is to stimulate research that will lead to the creation of…

CALL FOR PAPERS First Workshop on Resource-Awareness and Adaptivity in Multi-Core Computing (Racing 2014) http://www12.cs.fau.de/racing2014/ to be held in conjunction with with IEEE European Test Symposium (ETS), Paderborn, Germany, May 29-30, 2014…

The 23rd International Workshop on Logic & Synthesis sponsored by ACM/SIGDA and by the IEEE May 30 - June 1, 2014 Galleria Park Hotel, San Francisco, CA  Co-located with the Design Automation Conference     website: …

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…

1st International Workshop about Sets and Tools (SETS 2014) Affiliated to ABZ 2014 AIM Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets…

The Third International Workshop on Cooperative Robots and Sensor Networks OVERVIEW Mobile robots and Wireless Sensor Networks (WSNs) have enabled great potentials and a large space for ubiquitous and pervasive applications. Robotics and WSNs…

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract…