We are pleased to announce that the PROXIMA paper titled "Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware" from Leonidas Kosmidis, Jaume Abella, Eduardo Quinones, Franck Wartel, Glenn Farrall, Francisco J. Cazorla has received the 51st DAC best paper award. DAC was held in San Francisco in June, and had nearly 300 technical presentations to pick from. (more details...)