FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Florian Zuleger
Organization: Vienna University of Technology
Web page: http://www.forsyte.tuwien.ac.at
Pages in this Program
LICS on Thursday, July 12th
LICS Program
Program
Program for Thursday, July 12th
Slides
Slides