Best Paper Award FACS 2018

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific


The paper 'Solving parameterised Boolean equation systems with infinite data through quotienting' received a best paper award at the International Conference on Formal Aspects of Component Software (2018)
Degree of recognitionInternational

Awarded at event

Event titleFormal Aspects of Component Software
LocationPohang University of Science and Technology, Pohang, Korea, Republic ofShow on map
Period10 Oct 2018 → 12 Oct 2018