kongre.net'e hoş geldiniz
Konuşmacı
Prof., Amazon Web Services & Imperial College London
Antonio Filieri, Amazon Web Services & Imperial College London, şu etkinlikte konuşuyor: 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
Bu profil kongre.net'te yayımlanan konferans programlarından derlenmiştir. Antonio Filieri tarafından sahiplenilmemiş veya onaylanmamıştır ve yalnızca bu programlarda adı geçen konuşmaları, oturumları ve sunumları listeler.
Bu siz misiniz? Bu profili sahiplenin — her talep, bağlantı kurulmadan önce bir kişi tarafından okunur.
Düzeltme veya bu profilin kaldırılmasını istemek için şu adrese yazın: [email protected].