FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Christian Sternagel
Organization: Universtity of Innsbruck
Web page: http://cl-informatik.uibk.ac.at/~griff/
Pages in this Program
All Proceedings Papers
Isabelle on Friday, July 13th
Isabelle Papers
Isabelle Papers: Papers with Abstracts
Isabelle Program
ITP on Tuesday, July 10th
ITP Papers
ITP Papers: Papers with Abstracts
ITP Program
IWC Final papers
IWC Final papers: Papers with Abstracts
IWC on Saturday, July 7th
IWC Program
Paper: A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Paper: Certified Ordered Completion
Paper: The remote_build Tool
Paper: TTT2 with Termination Templates for Teaching
Program
Program for Friday, July 13th
Program for Saturday, July 7th
Program for Thursday, July 19th
Program for Tuesday, July 10th
UITP on Friday, July 13th
UITP Program
WST on Thursday, July 19th
WST Program
WST WST2018proceedings
WST WST2018proceedings: Papers with Abstracts