We are pleased to announce that there are two PROXIMA papers accepted for the Design and Automation (DAC) conference. The conference runs from June 1st to 5th 2014, in San Francisco. The titles of the papers are:

• L. Kosmidis, J. Abella, E. Quinone, F. Wartel, G. Farrall, and F. J. Cazorla, “Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware”, in Proceedings 51st Design Automation Conference (DAC), California, 2014. BSC, Airbus, Infineon
• M. Slijepcevic, L. Kosmidis, J. Abella, E. Quiñones, and F. J. Cazorla, “Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems”, in Proceedings 51st Design Automation Conference San Francisco DAC 2014 , California, 2014.