Véronique Cortier

[Photos] FLoC Plenary Talks

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

Orna Kupferman Orna Kupferman Véronique Cortier Véronique Cortier