FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Gilles Grimaud
Organization: CRIStAL (CNRS UMR 9189), IRCICA (CNRS USR 3380) and Université de Lille
Web page: http://www.cristal.univ-lille.fr/~grimaud
Pages in this Program
AVOCS on Thursday, July 19th
AVOCS Program
Program
Program for Thursday, July 19th
Slides
Slides