TAP 2014
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
RoboSense 2014
The Third International Workshop on Cooperative Robots and Sensor Networks
OVERVIEW
RACING 2014
CALL FOR PAPERS
SETS 2104
1st International Workshop about Sets and Tools (SETS 2014)
Affiliated to ABZ 2014
CORCS 2014
5th IEEE International Workshop on
Component-Based Design of
ACM SenSys 2014
Sensors have become an essential part of computing systems and applications.
ACACES 2014
Tenth International Summer School on
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems
Fiuggi, Italy
Sunday July 13 - Saturday July 19, 2014
MES 2014
Second ACM International Workshop on Manycore Embedded Systems (MES)
in conjunction with the 41st Internat