COMPSAC 2014 Theme The theme of the 38th COMPSAC conference is The Integration of Heterogeneous and Mobile Services in Smart Environments. The emergence and increasing importance of digital society, cyber-physical systems, and semantic, pervasive, and…

The 2014 International Conference on High Performance Computing & Simulation Purpose: The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original…

International Workshop on High Performance Interconnection Networks (HPIN) in conjunction with the International Conference on HPCS 2014 General Scope Computational, storage, accelerators, and sensing resources are required to be interconnected in…

7th International Conference on Graph Transformation Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, configurations of artefacts such as code or models, pointer…

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…

----------------------------------------------------------------------- CALL FOR PAPERS Fifth International Workshop on Graph Computation Models York, UK, July 21st, 2014 http://gcm2014.imag.fr/ Part of ICGT 2014 http://www.2014.icgt-…

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. The…

8th International Workshop on  Systems Software Verification co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014. Topics ====== Industrial-strength software analysis and verification has advanced in recent years through…

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 for the advancement of software quality…

8th International Workshop on Graph-Based Tools A satellite event of ICGT'14 http://www.hpi.uni-potsdam.de/giese/events/2014/icgt/index.html University of York, UK ==================================================================== *** Aims and…

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…

12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014                        PORTO ALEGRE RS BRAZIL    …

The 19th IEEE International Conference on Engineering of Complex Computer Systems Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and…

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…

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…

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.  A copy of the conference program agenda can be found here: https://…