Dependable Systems Group

MFCS 2018 Best Paper Award

Jan 08, 2019

We received the best paper award on the 43th International Symposium on Mathematical Foundations of Computer Science (MFCS) for the contribution Lagrange’s Theorem for Binary Squares (P. Madhusudan, D. Nowotka, A. Rajasekaran, J. Shallit).