FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Philipp Ruemmer
Organization: Uppsala University
Web page: http://www.philipp.ruemmer.org
Pages in this Program
All Proceedings Papers
IJCAR on Sunday, July 15th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
PAAR on Thursday, July 19th
PAAR papers
PAAR papers: Papers with Abstracts
PAAR Program
Paper: Exploring Approximations for Floating-Point Arithmetic using UppSAT
Paper: The next 10^4 UppSAT Approximations
Program
Program for Sunday, July 15th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 18th
SMT Informal Proceedings
SMT Informal Proceedings: Papers with Abstracts
SMT on Thursday, July 12th
SMT Program
VSTTE on Wednesday, July 18th
VSTTE Program
VSTTE VSTTE Post-proceedings
VSTTE VSTTE Post-proceedings: Papers with Abstracts