A recording of the talks will (soon) be made available on this YouTube channel.

• 04 August 2021, Grigory Fedyukovich, Constrained Horn Clauses for Verification and Synthesis  (Slides)
  
  
• 07 September 2021, Sorav Bansal, Automatic BlackBox Equivalence Checking  (Slides)