News Archiv

Mitra Nasri has received the best paper award at the 24th International Conference on Real-Time Networks and Systems (RTNS 2016) for her paper entitled „On the Problem of Finding Optimal Harmonic Periods” (with Morteza Mohaqeqi, Yang Xu, Anton Cervin, and Karl-Erik Arzén).

Robert de Simone (INRIA) and Björn Brandenburg are co-chairs of the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT’17), to be held in conjunction with Embedded Systems Week (ESWEEK) from October 15 until October 20 in Seoul, South Korea.

Three papers from MPI-SWS were accepted to ACM POPL [...]

Two papers from MPI-SWS were accepted to ACM WSDM [...]

Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, [...]