FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Michael Morak
Organization: Vienna University of Technology
Web page: http://www.dbai.tuwien.ac.at/staff/morak
Pages in this Program
ASPOCP on Wednesday, July 18th
ASPOCP Program
Program
Program for Tuesday, July 10th
Program for Wednesday, July 18th
SAT on Tuesday, July 10th
SAT Program
Slides
Slides
Slides