FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Francois Schwarzentruber
Organization: École normale supérieure de Rennes
Web page: http://people.irisa.fr/Francois.Schwarzentruber/
Pages in this Program
GraMSec on Sunday, July 8th
GraMSec Program
Program
Program for Sunday, July 8th
Slides
Slides