Safety and Trust in Artificial Intelligence with Abstract Interpretation | lit.salon