FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Guillaume Genestier
Organization: INRIA
Web page: http://www.lsv.fr/~genestier
Pages in this Program
Program
Program for Thursday, July 19th
WST on Thursday, July 19th
WST Program