PC member of HIGHLIGHTS'20

I am on the programme committee of the 8th Conference on Highlights of Logic, Games and Automata (HIGHLIGHTS), 2020.

Avatar
Christoph Haase
Associate Professor