Konuşmacı

Ben Wooding

Ben Wooding şu etkinlikte konuşuyor: Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 3: Tools and Benchmarks”.

Konferanslar: 1
Davetli konuşmacılar: 0
Yaklaşan: 1

Yaklaşan katılımlar

Eighth International Workshop on Formal Methods for Autonomous Systems
17–18 Nov 2026Southampton, United Kingdom
- KonuşmacıSession 3: Tools and Benchmarksİle: Yasmin Rafiq, Elizabeth Polgreen, Mehmet Hilmi Dündar, Doğan Ulus, Serena Serbinowska, Diego Manzanas Lopez, Luke Nam, Anne M. Tumlin, Nicholas Potteiger, Hongchao Zhang, Taylor T Johnson, Daniel Bryce

Şu etkinlikteki diğer konuşmacılar: Eighth International Workshop on Formal Methods for Autonomous Systems

Nils Jansen
Prof., Ruhr-University Bochum and Radboud University Nijmegen
Akhila Bairy
Marco Bozzano
Michael Butler
Gunjari Chakraborty
Alex Chan

Etkinlik sayfasında 28 konuşmacının tümünü gör

Bu profil kongre.net'te yayımlanan konferans programlarından derlenmiştir. Ben Wooding 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].