Speaker: Shankar Natarajan (SRI International) Title: “Deriving Formal Models from Natural Language Requirements using ARSENAL Semantic Parser” Meeting Link: https://bit.ly/deriveformalmeth Date: 19/05/2022 Time: 16:00-17:00 (BST)