FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
James Worrell
Organization: University of Oxford
Web page: http://web.comlab.ox.ac.uk/oucl/work/james.worrell/
Pages in this Program
FoPSS on Sunday, July 1st
FoPSS Program
LICS on Tuesday, July 10th
LICS Program
Program
Program for Sunday, July 1st
Program for Tuesday, July 10th
Program for Wednesday, July 18th
Slides
Slides
WST on Wednesday, July 18th
WST Program