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