Best Theory Paper Award at FM2019

The paper „Generic Partition Refinement and Weighted Tree Automata“ by Hans-Peter Deifel, Stefan Milius, Lutz Schröder and Thorsten Wißmann received the Best Theory Paper Award at the Formal Methods conference 2019.

Hans-Peter Deifel presented this paper at the conference in Porto on October 10, 2019.