First Workshop on Parameterized Verification Parameterized Verification (PV) is the task of verifying the correctness of systems composed of a finite but arbitrary number of identical components. The workshop is aimed at bringing together researchers…

Computer security is concerned with the protection of information in environments where there is a possibility of intrusion or malicious action. The aim of ESORICS is to further the progress of research in computer security by establishing a European…

---------------------------------------------------------------------                            FORMATS 2014…

3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) The 3rd ASCoMS workshop takes place at SAFECOMP 2014 - with the purpose to gather industrial and academic experts with interests in architecting safety in collaborative mobile…

SENSEAPP 2014 NINTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES IN BUILDING SENSOR NETWORK APPLICATIONS (in conjunction with IEEE LCN 2014) Chateau Lacombe Hotel Edmonton, Canada   The Internet of Things is happening! Wireless sensors…

11th International Conference on integrated Formal Methods, iFM 2014 Co-located with the 11th International Symposium on  Formal Aspects of Component Software, FACS 2014 OBJECTIVES AND SCOPE Applying formal methods may involve modeling different…

The 11th International Symposium on Formal Adspects of Comonent Software Co-located with iFM 2014: The 11th International Conference on Integrated Formal Methods   Component-based software development is a paradigm that has been proposing sound…

7th International Conference on Software Language Engineering (SLE) 2014 Co-located with: 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) 13th International Conference on Generative Programming: Concepts and…

8th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments in conjunction with ETFA 2014 - 19th International Conference on Emerging Technologies & Factory Automation 16-19 September 2014 Deadline…

2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014) in conjunction with the 19th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2014 Aim: The VtRES workshop provides a forum for…

The 19th IEEE International Conference on Emerging Technologies and Factory Automation The aim of the conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent…

UCLA to Host Smart EV Charging and Grid Management Symposium on September 16, 2014 - along with National Drive Electric Week In September, as America and California plan their National Drive Electric Week - https://driveelectricweek.org/event.php?eventid…

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main…

Eighth IEEE/ACM International Symposium on Networks-on-Chip NOCS 2014 September 17th - 19th, 2014 Ferrara, Italy http://www.nocsymposium.org The International Symposium on Networks-on-Chip (NOCS) is the premier event dedicated to interdisciplinary…

Conference dates September 17-19. The 17th International Symposium on Research in Attacks, Intrusions and Defenses, previously known as Recent Advances in Intrusion Detection, will be held in Gothenburg. This symposium brings together leading…

CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems Workshop in conjuction with INFORMATIK 2014 The availability of efficient embedded systems in combination with new communication technologies…