FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Zachary Tatlock
Organization: University of Washington
Web page: http://homes.cs.washington.edu/~ztatlock/
Pages in this Program
Coq on Sunday, July 8th
Coq Program
FM on Monday, July 16th
FM Program
ITP on Wednesday, July 11th
ITP Program
Program
Program for Monday, July 16th
Program for Sunday, July 8th
Program for Wednesday, July 11th
Slides
Slides
Slides
Slides