FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Christoph M. Wintersteiger
Organization: Microsoft
Web page: http://research.microsoft.com/people/cwinter/
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
Paper: Exploring Approximations for Floating-Point Arithmetic using UppSAT
Paper: The next 10^4 UppSAT Approximations
Program
Program for Monday, July 9th
Program for Sunday, July 15th
Program for Thursday, July 12th
Program for Wednesday, July 11th
SAT on Monday, July 9th
SAT on Thursday, July 12th
SAT on Wednesday, July 11th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program
SMT Informal Proceedings
SMT Informal Proceedings: Papers with Abstracts
SMT on Thursday, July 12th
SMT Program