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
All Proceedings Papers
FSCD on Wednesday, July 11th
FSCD Program
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
Paper: A Formalization of the LLL Basis Reduction Algorithm
Paper: A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
Paper: Formal Verification of Bounds for the LLL Basis Reduction Algorithm
Program
Program for Friday, July 13th
Program for Thursday, July 19th
Program for Tuesday, July 10th
Program for Wednesday, July 11th
WST on Thursday, July 19th
WST Program
WST WST2018proceedings
WST WST2018proceedings: Papers with Abstracts