Best paper award nomination at DATE'18

The paper "A Faithful Binary Circuit Model with Adversarial Noise" by Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, and Ulrich Schmid was nominated for the best paper award at DATE'18.