FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Unknot Recognition Through Quantifier Elimination

Meesum Syed Mohammad and T. V. H. Prathamesh

RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification

Daniela Ritirc, Armin Biere and Manuel Kauers

RP: Evaluation of Equational Constraints for CAD in SMT Solving

Rebecca Haehn, Gereon Kremer and Erika Ábrahám

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England and Zak Tonks

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Alexander Imani Cowen-Rivers and Matthew England

EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To and Xuan Tung Vu

EA: Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller and Udo Brockmeyer
Total: 7 presentations.