Best Paper Award FACS 2018

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

Description

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

Career, activity or publication related prizes (lifetime, best paper, poster etc.)

eventFormal Aspects of Component Software
locationPohang University of Science and Technology, Pohang, Korea, Republic of
Period10 Oct 2018 → 12 Oct 2018