FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SCSC PROGRAM
Wednesday, July 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 57G: SC^2 Invited speaker
09:00
Hard Combinatorial Problems: A Challenge for Satisfiability (abstract)
10:05-10:30 Session 59: Extended Abstracts
10:05
EA: Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving (abstract)
10:30-11:00Coffee Break
11:00-12:40 Session 61G: Extended Abstracts: Symbolic Computation
11:00
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT (abstract)
11:25
EA: New in CoCoA-5.2.4 and CoCoALib-0.99570 for SC-Square (abstract)
11:50
EA: SMT-like Queries in Maple (abstract)
12:15
EA: Techniques for Natural-style Proofs in Elementary Analysis (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 63D: Research papers: CAD
14:00
RP: Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics (abstract)
14:30
RP: Towards Incremental Cylindrical Algebraic Decomposition in Maple (abstract)
15:00
RP: Evaluation of Equational Constraints for CAD in SMT Solving (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 64F: Research papers
16:00
RP: Refutation of Products of Linear Polynomials (abstract)
16:30
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification (abstract)
17:00
RP: Unknot Recognition Through Quantifier Elimination (abstract)
19:00-21:30 FLoC banquet at Examination Schools

FLoC banquet at Examination Schools. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).