Arbeitsgruppe Zuverlässige Systeme

MFCS 2018 Best Paper Award

08.01.2019

Auf dem 43. Internationale Symposium zu den mathematischen Grundlagen Informatik (Mathematical Foundations of Computer Science - MFCS) wurde uns für den Artikel Lagrange’s Theorem for Binary Squares (P. Madhusudan, D. Nowotka, A. Rajasekaran, J. Shallit) der Preis für den besten Konferenzbeitrag verliehen.