Semináře

• Seminář Hora Informaticae
  1. 7. 2019 (pondělí), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, P8, místnost 318
  Deepak Kapur (Dept. of Computer Science, Univ. of New Mexico): Interpolant generation algorithms based on quantifier elimination