FLoC plenary talks by Véronique Cortier (Electronic voting: how logic can help?) and Orna Kupferman (From Reachability to Temporal Specifications in Game Theory)

Photos © VSL 2014 / Photography: Sara Meister