FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Steffen Jost
Organization: University of St Andrews
Web page: http://www.cs.st-andrews.ac.uk/~jost/
Pages in this Program
LCC on Friday, July 13th
LCC Program
Program
Program for Friday, July 13th
Slides
Slides