Best Papers Awards
Best paper award: Ricardo Almeida - Reducing Nondeterministic Tree Automata by Adding Transitions
Best presentation award: Samuel Pastva (FI MU) - A Model Checking Approach to Dynamical Systems Analysis
Best poster award: Michal Kravčenko (V©B-TUO) - Efficient parallel computation of graph embeddings
Sponsors supporting the awards