HTTP/1.1 200 OK Date: Mon, 19 Jan 2026 01:19:11 GMT Server: Apache/2.4.41 (Ubuntu) Expires: Mon, 19 Jan 2026 01:19:12 GMT Connection: close Vary: Accept-Encoding Content-Encoding: gzip Content-Length: 4123 Content-Type: text/html; charset=UTF-8

FLOC 2018: FEDERATED LOGIC CONFERENCE 2018 PROGRAMAUTHORSKEYWORDSSLIDES FLoC | FoPSS | ITP | CSF | FSCD | SAT | CAV | IJCAR | ICLP | FM | LICS | ADHS | ADSL | ARQNL | ASPOCP | AVOCS | CL&C | COALG | Coq | DCM | Domains13 | DS-FM | EICNCL | F-IDE | FCS | FRIDA | GraMSec | GS | HCVS | HDRA | HOR | HoTT/UF | ICLP-DC | IFIP WG 1.6 | Isabelle | ITRS | IWC | LaSh | LCC | LearnAut | LFMTP | Linearity/TLLA | LMW | LOLA | LPOP | LSB | MLP | MoRe | MSFP | NLCS | NSV | Overture | PAAR | PARIS | PC | PLR | POS | PRUV | QBF | RCRA | REFINE | ReMOTE | rv4rise | SCSC | SMT | SoMLMFM | SR | SYNT | TERMGRAPH | Tetrapod | ThEdu | TLA | TYDI | UITP | UNIF | Vampire | VaVAS | VDMW | VEMDP | VSTTE | WiL | WPTE | WST PROGRAM | AUTHORS | KEYWORDS | SLIDES 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 Disclaimer | Powered by EasyChair Smart Program