FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Marco Servetto
Organization: School of Engineering and Computer Science, Victoria University of Wellington
Web page: https://ecs.victoria.ac.nz/Main/MarcoServetto
Pages in this Program
DCM on Sunday, July 8th
DCM Program
Program
Program for Sunday, July 8th
Slides
Slides