FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Rémi Eyraud
Organization: Laboratoire d'Informatique Fondamentale - Marseilles
Web page: http://www.lif.univ-mrs.fr/~reyraud
Pages in this Program
LearnAut on Friday, July 13th
LearnAut Program
Program
Program for Friday, July 13th