FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Daniela Ritirc
Organization: Johannes Kepler Universität Linz
Web page: http://fmv.jku.at/ritirc/
Pages in this Program
Program
Program for Wednesday, July 11th
SCSC on Wednesday, July 11th
SCSC Program
Slides
Slides