FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Véronique Benzaken
Organization: LRI - CNRS - Université Paris Sud - Université Paris Saclay
Web page: https://www.lri.fr/~benzaken/
Pages in this Program
Coq on Sunday, July 8th
Coq Program
ITP on Tuesday, July 10th
ITP Program
Program
Program for Sunday, July 8th
Program for Tuesday, July 10th
Slides
Slides
Slides