Welcome to kongre.net
Speaker
Angelo Ferrando is speaking at Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 1: Knowledge, Belief and Monitoring”.
17–18 Nov 2026Southampton, United Kingdom
Prof., Ruhr-University Bochum and Radboud University Nijmegen
Dr, University of Edinburgh
These are kept as separate profiles because the programmes give no evidence that they are the same person.
This profile is built from conference programmes published on kongre.net. It has not been claimed or confirmed by Angelo Ferrando, and it lists only the talks, sessions and presentations named in those programmes.
Is this you? Claim this profile — every request is read by a person before anything is linked.
To ask for a correction or for this profile to be removed, email [email protected].