The demonstrations:
“Abstra: Toward Generic Abstractions for Data of Any Model”
by Nelly Barret, Ioana Manolescu and Prajna Upadhyay
and
“Statistical Claim Checking: StatCheck in Action”
by Oana Balalau, Simon Ebel, Théo Galizzi, Ioana Manolescu, Quentin Massonnat, Antoine Deiana, Emilie Gautreau, Antoine Krempf, Thomas Pontillon, Gérald Roux, Joanna Yakin
have been accepted for presentation in the 31st ACM International Conference on Information and Knowledge Management (CIKM) 2022, and will also be presented informally at BDA 2022!
