FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Pascal Fontaine
Organization: Loria, INRIA, University of Lorraine
Web page: http://www.loria.fr/~fontaine/
Pages in this Program
All Proceedings Papers
IJCAR on Monday, July 16th
IJCAR Program
PAAR on Thursday, July 19th
PAAR Program
Paper: Higher-Order SMT Solving
Paper: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
Program
Program for Friday, July 13th
Program for Monday, July 16th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 11th
SCSC on Wednesday, July 11th
SCSC Papers
SCSC Papers: Papers with Abstracts
SCSC Program
SMT Informal Proceedings
SMT Informal Proceedings: Papers with Abstracts
SMT on Friday, July 13th
SMT on Thursday, July 12th
SMT Program