FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Rodolphe Lepigre
Organization: Inria (Deducteam), LSV, CNRS, Université Paris-Saclay
Web page: http://lepigre.fr
Pages in this Program
LFMTP on Saturday, July 7th
LFMTP Program
Program
Program for Saturday, July 7th
Slides
Slides