SMT 2019 Program

Sunday, July 7th, 2018

9:00-10:30: Session 1 (Chair: Natasha Sharygina)
Invited Talk: SMT-Based Weighted Model Integration (abstract, slides)
Roberto Sebastiani
10:30-11:00: Coffee Break
11:00-12:30: Session 2 (Chair: Armin Biere)
The Eos SMT/SMA-Solver: A Preliminary Report (paper, slides)
Maria Paola Bonacina and Giulio Mazzi
Interpolating Bit-vector Arithmetic Constraints in MCSAT (paper, slides)
Stéphane Graham-Lengrand and Dejan Jovanović
Extending SMT solvers to Higher-Order Logic (presentation-only, slides)
Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett
12:30-14:00: Lunch
14:00-15:30: Session 3 (Chair: Roberto Bruttomesso)
High-Level Abstractions for Simplifying Extended String Constraints in SMT
(presentation-only)
Andrew Reynolds, Andres Noetzli, Clark Barrett and Cesare Tinelli
An Algorithm Selection Approach for QF_FP Solvers (paper, slides)
Joseph Scott, Pascal Poupart and Vijay Ganesh
Constrained Optimization Benchmark for Optimization Modulo Theory: A Cloud Resource Management Problem (paper, slides)
Madalina Erascu and Razvan Metes
15:30-16:00: Coffee Break
16:00-17:30: Session 4 (Chair: Joe Hendrix)
An SMT Approach To A Multiparty Economic Scheduling Problem (paper, slides)
Shriphani Palakodety, Guha Jayachandran and Aditya Thakur
SMT-LIB Status Report (slides)
Clark Barrett
Update on SMT-LIB 3 (slides)
Pascal Fontaine

Monday, July 8th, 2018

9:00-10:30: Session 1 (Chair: Joe Hendrix)
Invited Talk: Programming Z3 (abstract, slides)
Nikolaj Bjorner
10:30-11:00: Coffee Break
11:00-12:30: Session 2 (Chair: Natasha Sharygina)
Intrepid: an SMT-based Model Checker for Control Engineering and Industrial Automation (paper, slides)
Roberto Bruttomesso
SPASS-SATT: a CDCL(LA) Solver (presentation-only, slides)
Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach
Towards Bit-Width-Independent Proofs in SMT Solvers (presentation-only, slides)
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett and Cesare Tinelli
12:30-14:00: Lunch
14:00-15:30: Session 3 (Chair: Mathias Preiner)
SMT-COMP 2019 Report and Tool Presentations (website, slides)
Liana Hadarean, Antti Hyvarinen, Aina Niemetz and Giles Reger
15:30-16:00: Coffee Break
16:00-17:30: Session 4 (Chair: Pascal Fontaine)
Business meeting