FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SMT PROGRAM

Days: Thursday, July 12th Friday, July 13th

Thursday, July 12th

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

09:00-10:30 Session 67F
09:00
Invited talk: Automating Separation Logics using SMT (abstract)
10:00
Revisiting Enumerative Instantiation (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 71F
11:00
Building Better Bit-Blasting for Floating-Point Problems (abstract)
11:30
The next 10^4 UppSAT Approximations (abstract)
12:00
Alt-Ergo 2.2 (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 73H
14:00
Invited talk: Verifying Learners and Learning Verifiers (abstract)
15:00
Puli - A Problem-Specific OMT Solver (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 75E
16:00
SMT-based Compile-time Verification of Safety Properties for Smart Contracts (abstract)
16:30
SMT Solving Modulo Tableau and Rewriting Theories (abstract)
17:00
Rewrites for SMT Solvers using Syntax-Guided Enumeration (abstract)
Friday, July 13th

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

09:00-10:30 Session 80I
09:00
Invited talk: Experiments in Universal Logical Reasoning --- How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic (abstract)
10:00
Higher-Order SMT Solving (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 83K
11:00
Centralizing Equality Reasoning in MCSAT (abstract)
11:30
Proofs in conflict-driven theory combination (abstract)
12:00
Selfless Interpolation for Infinite-State Model Checking (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 84K
14:00
Discovering Universally Quantified Solutions for Constrained Horn Clauses (abstract)
14:30
What is the Point of an SMT-LIB Problem? (abstract)
15:00
SMT-COMP 2018 Report (abstract)
15:30-16:00Coffee Break
19:00-21:30 Workshops dinner at Keble College

Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).

Location: Keble College