Two accepted demos for CEDAR at BDA 2022

Two demonstrations titles:

  • “Abstra: Toward Generic Abstractions for Data of Any Model” by Nelly Barret, Ioana Manolescu and Prajna Upadhyay
  • “Statistical Claim Checking: StatCheck in Action” by Oana Balalau, Simon Ebel, Théo Galizzi, Ioana Manolescu and Quentin Massonnat

have been accepted for presentation at BDA 2022.

Comments are closed.