FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mizuhito Ogawa
Organization: Japan Advanced Institute of Science and Technology
Web page: http://www.jaist.ac.jp/~mizuhito
Pages in this Program
Program
Program for Wednesday, July 11th
SCSC on Wednesday, July 11th
SCSC Program
Slides
Slides