SMT 2025: 23RD INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES
JMS 641

James McCune Smith Learning Hub.

Lecture Theatre, 6th floor.

Sessions

  • Session 1 (Aug 10 09:15-09:30) Welcome
  • Session 2 (Aug 10 09:30-10:30) Invited Talk
  • Session 3 (Aug 10 11:00-12:20) Quantifier Instantiation and Combination of Theories
  • Session 4 (Aug 10 13:30-15:00) Theories
  • Session 5 (Aug 10 15:30-17:10) Applications