FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Étienne Miquey
Organization: Équipe Gallinette, INRIA, LS2N (CNRS)
Web page: https://www.irif.univ-paris-diderot.fr/~emiquey/
Pages in this Program
ITP on Monday, July 9th
ITP Program
LICS on Wednesday, July 11th
LICS Program
Program
Program for Monday, July 9th
Program for Wednesday, July 11th
Slides
Slides
Slides