FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Bertram Felgenhauer
Organization: University of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/~bf3/
Pages in this Program
IWC on Saturday, July 7th
IWC Program
Program
Program for Saturday, July 7th
Slides
Slides