FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jakob Grue Simonsen
Organization: Department of Computer Science, University of Copenhagen
Web page: http://www.diku.dk/~simonsen
Pages in this Program
IWC Final papers
IWC Final papers: Papers with Abstracts
IWC on Saturday, July 7th
IWC Program
Program
Program for Saturday, July 7th