TTC'14
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 different tool features will help to further improve graph and model transformation tools and to indicate open problems.
IECON 2014
40th Annual Conference of the IEEE Industrial Electronics Society (IECON)
Submit your paper NOW for IECON'2014
NSV 2014
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Novelty of this edition
WHEA 2014
The Third IEEE International Workshop on Exploitation of Hardware Accelerators
held in conjunction with IEEE HPCS 2014
RTSS 2014
The 35th IEEE Real-Time Systems Symposium, Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
DSD 2014
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, down to microarchitectures, digital circuits and VLSI techniques. It is a discussion forum for researchers and engineers from academia and industry working on state-of-the-art investigations, development and applications.
SETS 2014
1st International Workshop about Sets and Tools (SETS 2014)
AIM
VtRES 2014
2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014),
In conjunction with theSSV 2014
8th International Workshop on Systems Software Verification
co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.