FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mário Florido
Organization: University of Porto
Web page: http://www.ncc.up.pt/~amf
Pages in this Program
ITRS on Sunday, July 8th
ITRS Program
Program
Program for Sunday, July 8th
Slides
Slides