Konuşmacı
Dogan Ulus şu etkinlikte konuşuyor: Eighth International Workshop on Formal Methods for Autonomous Systems (Southampton, United Kingdom, 17–18 Nov 2026) in the session “Session 2: Algorithms and Controller Validation and Verification”.
17–18 Nov 2026Southampton, United Kingdom
Prof., Ruhr-University Bochum and Radboud University Nijmegen
Dr, University of Edinburgh
Programlarda aynı kişi olduklarına dair bir kanıt olmadığından bunlar ayrı profiller olarak tutuluyor.
Bu profil kongre.net'te yayımlanan konferans programlarından derlenmiştir. Dogan Ulus 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].