Best Student Paper Award FACS 2017

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

    Description

    Best Student Paper Award for the paper "Compositional Model Checking is Lively" at the 14th International Conference on Formal Aspects of Component Software conference.
    Degree of recognitionInternational

    Awarded at event

    Event title14th International Conference on Formal Aspects of Component Software (FACS 2017), 10-13 October 2017, Braga, Portugal
    LocationBraga, Portugal
    Period10 Oct 2017 → 13 Oct 2017