Speaker

Jian-Jia Chen

Jian-Jia Chen is speaking at Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 2: Application Domains”.

Conferences: 1
Keynotes: 0
Upcoming: 1

Upcoming appearances

Eighth International Workshop on Formal Methods for Autonomous Systems
17–18 Nov 2026Southampton, United Kingdom
- SpeakerSession 2: Application DomainsWith Matt Luckcuck, Juel Hussain, Marie Farrell, Louise Dennis, Clare Dixon, Natalia Ogorelysheva, Falk Howar

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

Nils Jansen
Prof., Ruhr-University Bochum and Radboud University Nijmegen
Elizabeth Polgreen
Dr, University of Edinburgh
Akhila Bairy
Marco Bozzano
Daniel Bryce
Michael Butler

See all 37 speakers on the event page

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