Videos

Start date cannot be after end date.
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA Thumbnail

Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA

Presenter
  • Petra Hozzova
February 17, 2023
IPAM
Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA Thumbnail

Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA

Presenter
  • Pascal Fontaine
February 16, 2023
IPAM