Welcome to kongre.net
Speaker
Prof., Amazon Web Services & Imperial College London
Antonio Filieri, Amazon Web Services & Imperial College London, is speaking at 29th Brazilian Symposium on Formal Methods (SBMF 2026) (Rio de Janeiro, Brazil, 1–4 Dec 2026) in the session “Keynote: A Formal Methods RenAIssance: AI, Trust, and What Is Worth Proving”.
1–4 Dec 2026Rio de Janeiro, Brazil
Prof., University of York, UK
Prof., PUC-Rio
Prof., UFJF
Prof., UnB
This profile is built from conference programmes published on kongre.net. It has not been claimed or confirmed by Antonio Filieri, 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].