Sven Schewe will deliver a keynote address Uncategorized admin / December 3, 2021 Sven Schewe confirmed that he will deliver a keynote address about Formal Methods for Responsible AI at FMICS 2022.