FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Pierre Hyvernat
Organization: Laboratoire de mathématique, université de Savoie (CNRS UMR 5127)
Web page: http://www.lama.univ-savoie.fr/~hyvernat/
Pages in this Program
PARIS on Saturday, July 7th
PARIS Program
Program
Program for Saturday, July 7th
Slides
Slides