FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Michal Koucky
Organization: Czech Academy of Sciences
Web page: http://http:/www.math.cas.cz/~koucky
Pages in this Program
PC on Sunday, July 8th
PC Program
Program
Program for Sunday, July 8th
Slides
Slides