This one-day workshop was designed for researchers who aspired to participate in NSF's Secure and Trustworthy Cyberspace (SaTC) program. The workshop was by invitation or application, and was open to people with research interests in secure and…

CRYPTO 2014 was the 34rd International Cryptology Conference. It was held held at the University of California, Santa Barbara (UCSB) from August 17 - 21, 2014. 

During the MobiHoc2014 workshop on "Airborne Networks and Communications", there will be a student poster and demo session on "Unmanned Aerial Vehicles".  Students whose posters /demos are selected for presentation will be provided finanical support…

USDOT Connected Vehicle PlugFest What are PlugFests? The U.S. Department of Transportation's (USDOT) will hold its third Connected Vehicle PlugFest on May 13-15, 2014 in Farmington Hills, Michigan. PlugFests provide venues for vendor-to-vendor connected…

The 19th IEEE International Conference on Engineering of Complex Computer Systems

12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014              &nb

Transformation Tool Contest 2014 The aim of this event is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. A deeper understanding of the relative merits of…

8th International Workshop on Graph-Based Tools A satellite event of ICGT'14

8th International Conference on TESTS AND PROOFS Scope ===== The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination

8th International Workshop on  Systems Software Verification co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.

----------------------------------------------------------------------- CALL FOR PAPERS

STAF 2014 Doctoral Symposium http://www.cs.york.ac.uk/staf/2014/doctoralsymposium Call for Abstract Submissions Part of Software Technologies: Applications and Foundations 2014 University of York, UK,  21st - 25th July 2014. http://stafconferences…

7th International Conference on Graph Transformation Dynamic structures are a major cause for complexity when it comes to model and reason about systems.

Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.

COMPSAC 2014 Theme

5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS 2014) As part of