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 60G: SC^2 Invited speaker
Chair:
Anna Maria Bigatti
Location: Green Templeton Lecture Theatre
09:00
Ilias Kotsireas
Hard Combinatorial Problems: A Challenge for Satisfiability (abstract)
10:05-10:30 Session 62: Extended Abstracts
Chair:
Pascal Fontaine
Location: Green Templeton Lecture Theatre
10:05
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller and Udo Brockmeyer
EA: Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving (abstract)
10:30-11:00Coffee Break
11:00-12:40 Session 64G: Extended Abstracts: Symbolic Computation
Chair:
Erika Abraham
Location: Green Templeton Lecture Theatre
11:00
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To and Xuan Tung Vu
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT (abstract)
11:25
John Abbott, Anna Maria Bigatti and Elisa Palezzato
EA: New in CoCoA-5.2.4 and CoCoALib-0.99570 for SC-Square (abstract)
11:50
Stephen A. Forrest
EA: SMT-like Queries in Maple (abstract)
12:15
Tudor Jebelean
EA: Techniques for Natural-style Proofs in Elementary Analysis (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 66A: FLoC Keynote Lecture: Shafi Goldwasser
Chair:
Moshe Vardi
Location: Maths LT1
14:00
Shafi Goldwasser
Pseudo deterministic algorithms and proofs (abstract)
14:00-15:30 Session 66D: Research papers: CAD
Chair:
John Abbott
Location: Green Templeton Lecture Theatre
14:00
Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England and Zak Tonks
RP: Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics (abstract)
14:30
Alexander Cowen-Rivers and Matthew England
RP: Towards Incremental Cylindrical Algebraic Decomposition in Maple (abstract)
15:00
Rebecca Haehn, Gereon Kremer and Erika Ábrahám
RP: Evaluation of Equational Constraints for CAD in SMT Solving (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 67F: Research papers
Chair:
Martin Brain
Location: Green Templeton Lecture Theatre
16:00
Jan Horacek and Martin Kreuzer
RP: Refutation of Products of Linear Polynomials (abstract)
16:30
Daniela Ritirc, Armin Biere and Manuel Kauers
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification (abstract)
17:00
Meesum Syed Mohammad and Prathamesh T. V. H.
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).

Location: Examination Schools