FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Patrick Laskowski
Organization: McMaster University
Pages in this Program
ITP on Wednesday, July 11th
ITP Program
Program
Program for Wednesday, July 11th
Slides
Slides