SMT 2025: 23RD INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
BO LT1

Boyd Orr Building

Lecture Theatre 1 (Room 203)

Sessions

  • Session 6 (Aug 11 09:00-10:30) Invited talk + Optimization Modulo Theory
  • Session 7 (Aug 11 11:00-12:30) Solvers + Benchmarks + SMT-LIB
  • Session 8 (Aug 11 13:30-15:00) SMT-COMP
  • Session 9 (Aug 11 15:30-17:00) SMT-LIB Discussion + Business Meeting