FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Ichiro Hasuo
Organization: National Institute of Informatics
Web page: http://group-mmm.org/~ichiro
Pages in this Program
COALG on Sunday, July 8th
COALG Program
GS on Sunday, July 8th
GS Program
Program
Program for Sunday, July 8th