CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
ZoomRoom 5

Sessions

  • Session 2B (Jul 11 08:00-10:00) PFOR Tutorial
  • Session 4B (Jul 11 10:30-12:00) PFOR Tutorial
  • Session 6B (Jul 11 12:30-14:00) PFOR Tutorial
  • Session 8B (Jul 11 14:30-16:00) PFOR Tutorial
  • Session 17D (Jul 12 16:00-16:30) Topical ZoomRoom: Step into the Darkside - Non-classical Logics
  • Session 35C (Jul 16 08:00-10:00) Learning to Prove: ... Tutorial
  • Session 37C (Jul 16 10:30-12:00) Learning to Prove: ... Tutorial