FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Yann Regis-Gianas
Organization: Université Paris Diderot (UMR-CNRS 7126) - INRIA PI.R2
Web page: http://www.pps.jussieu.fr/~yrg/
Pages in this Program
FM on Monday, July 16th
FM Program
Program
Program for Monday, July 16th
Slides
Slides