FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Chantal Keller
Organization: LRI, Université Paris-Sud
Web page: https://www.lri.fr/~keller/index-en.html
Pages in this Program
ITP on Tuesday, July 10th
ITP Program
Program
Program for Tuesday, July 10th
Slides
Slides