Speaker

Alex Chan

Alex Chan is speaking at Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 1: Neurosymbolic AI”.

Conferences: 1
Keynotes: 0
Upcoming: 1

Upcoming appearances

Eighth International Workshop on Formal Methods for Autonomous Systems
17–18 Nov 2026Southampton, United Kingdom
- SpeakerSession 1: Neurosymbolic AIWith Matt Luckcuck, Nils Jansen, Mohamed Tarraf, Alex Yakovlev, Rishad Shafik
- SpeakerSession 2: Algorithms and Controller Validation and VerificationWith Baptiste Pelletier, Karen Godary, Gunjari Chakraborty, Yasmin Rafiq, Hazel Taylor, Marie Farrell, Dogan Ulus, Marco Bozzano, Alessandro Cimatti, Moussa Fall, Stefano Tonetta

More speakers at Eighth International Workshop on Formal Methods for Autonomous Systems

Elizabeth Polgreen
Dr, University of Edinburgh
Akhila Bairy
Daniel Bryce
Michael Butler
Jian-Jia Chen
Louise Dennis

See all 28 speakers on the event page

This profile is built from conference programmes published on kongre.net. It has not been claimed or confirmed by Alex Chan, 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].