FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Cláudia Nalon
Organization: University of Brasília
Web page: http://www.cic.unb.br/~nalon
Pages in this Program
6th Workshop on practical aspects of automated reasoning
FSCD on Thursday, July 12th
FSCD Program
IJCAR on Saturday, July 14th
IJCAR on Sunday, July 15th
IJCAR Program
PAAR on Thursday, July 19th
PAAR Program
Program
Program for Saturday, July 14th
Program for Sunday, July 15th
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Thursday, July 19th
WiL on Sunday, July 8th
WiL Program