FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jens Otten
Organization: University of Oslo
Web page: http://jens-otten.de
Pages in this Program
6th Workshop on practical aspects of automated reasoning
ARQNL on Wednesday, July 18th
ARQNL Program
IJCAR on Tuesday, July 17th
IJCAR Program
PAAR on Thursday, July 19th
PAAR Program
Program
Program for Thursday, July 19th
Program for Tuesday, July 17th
Program for Wednesday, July 18th