FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SMT 2022 PROGRAM

Days: Thursday, August 11th Friday, August 12th

Thursday, August 11th

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

10:30-11:00Coffee Break
11:00-12:30 Session 95I: Arithmetics and higher-order reasoning
11:00
Bit-Precise Reasoning via Int-Blasting (abstract)
11:20
An SMT Approach for Solving Polynomials over Finite Fields (abstract)
11:40
On Satisfiability of Polynomial Equations over Large Prime Fields (abstract)
12:00
Goose: A Meta Solver for Deep Neural Network Verification (abstract)
12:30-14:00Lunch Break
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion) - Paid event
Friday, August 12th

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

09:00-10:30 Session 101C: Invited talk #2
09:00
TBA
10:00
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 103D: Theories and Proofs
11:00
User-Propagators for Custom Theories in SMT Solving (abstract)
11:20
An SMT-LIB Theory of Heaps (abstract)
11:40
Challenges and Solutions for Higher-Order SMT Proofs (abstract)
12:00
A simple proof format for SMT (abstract)
12:30-14:00Lunch Break
14:00-16:00 Session 104D: Standards and benchmarks - Business meeting
14:00
SMT-Lib Update Report
14:30
SMT Proof Standardization Update
15:00
Business Meeting
15:30-16:00Coffee Break