FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Amar Hadzihasanovic
Organization: Kyoto University
Web page: http://www.kurims.kyoto-u.ac.jp/~ahadziha/
Pages in this Program
FSCD on Monday, July 9th
FSCD Program
HDRA on Saturday, July 7th
HDRA Program
LICS on Thursday, July 12th
LICS Program
Program
Program for Monday, July 9th
Program for Saturday, July 7th
Program for Thursday, July 12th
Slides
Slides
Slides