FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
René Thiemann
Organization: University of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/~thiemann/
Pages in this Program
FSCD on Wednesday, July 11th
FSCD Program
Isabelle on Friday, July 13th
Isabelle Program
ITP on Tuesday, July 10th
ITP Program
Program
Program for Friday, July 13th
Program for Thursday, July 19th
Program for Tuesday, July 10th
Program for Wednesday, July 11th
Slides
Slides
Slides
WST on Thursday, July 19th
WST Program