FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
António Ravara
Organization: Departmento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Web page: http://ctp.di.fct.unl.pt/~aravara/
Pages in this Program
DCM on Sunday, July 8th
DCM Program
HCVS on Friday, July 13th
HCVS Program
Program
Program for Friday, July 13th
Program for Sunday, July 8th
Slides
Slides
Slides