FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Anders Schlichtkrull
Organization: Technical University of Denmark
Pages in this Program
6th Workshop on practical aspects of automated reasoning
ARQNL on Wednesday, July 18th
ARQNL Program
IJCAR on Sunday, July 15th
IJCAR Program
Isabelle on Friday, July 13th
Isabelle Program
PAAR on Thursday, July 19th
PAAR Program
Program
Program for Friday, July 13th
Program for Saturday, July 7th
Program for Sunday, July 15th
Program for Thursday, July 19th
Program for Wednesday, July 18th
Slides
Slides
Slides
ThEdu on Wednesday, July 18th
ThEdu Program
UITP on Friday, July 13th
UITP Program
UNIF on Saturday, July 7th
UNIF Program