SMT 2024: 22ND INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
PROGRAM

Days: Monday, July 22nd Tuesday, July 23rd

Monday, July 22nd

View this program: with abstractssession overviewtalk overview

08:30-09:00Breakfast/Coffee
09:00-10:30 Session 1: Verification and Theories
09:00
Verification Modulo Theories - presentation-only submission (abstract)
09:30
An SMT theory for N-Indexed Sequences [Extended abstract] (abstract)
10:00
An SMT-LIB Theory of Finite Fields [Original Paper] (abstract)
10:30-11:00Coffee Break
11:00-12:00 Session 2: Invited Talk
11:00
The Hows and Whys of Higher-Order SMT (abstract)
12:00-14:00Lunch Break (Not Provided)
14:00-15:30 Session 3: Applications
14:00
Efficient SMT-based Analysis of Failure Propagation - presentation only submission (abstract)
14:30
CSB: A Counting and Sampling tool for Bit-vectors [Extended Abstract] (abstract)
15:00
Minimal logic detection and exporting smtlib problems with Dolmen [Extended abstract] (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 4: SMT-COMP
16:00
SMT-COMP Results and Tool Presentations
Tuesday, July 23rd

View this program: with abstractssession overviewtalk overview

08:30-09:00Breakfast/Coffee
09:00-10:30 Session 5: Proofs and Strategies
09:00
Reconstruction of SMT proofs with Lambdapi [original paper] (abstract)
09:30
Certifying Incremental SAT Solving - presentation-only submission (abstract)
10:00
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis [Presentation only] (abstract)
PRESENTER: Zhengyang Lu
10:30-11:00Coffee Break
11:00-12:00 Session 6: Invited Talk
11:00
Challenges in Bit-Vector Reasoning (abstract)
12:00-14:00Lunch Break (Not Provided)
14:00-15:30 Session 7: Decision Procedures
14:00
A Bit-vector to Integer Translation with bv2nat and nat2bv [Extended abstract] (abstract)
PRESENTER: Max Barth
14:30
Arrays Reasoning in MCSat [Original Paper] (abstract)
15:00
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness [Presentation only] (abstract)
15:30-16:00Coffee Break