FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Camille Coti
Organization: Univ. Paris 13, Sorbonne Paris Cité, CNRS UMR 7030
Web page: http://www-lipn.univ-paris13.fr/~coti
Pages in this Program
CAV on Tuesday, July 17th
CAV Program
Program
Program for Tuesday, July 17th
Slides
Slides