kongre.net'e hoş geldiniz
Konuşmacı
Michel Smykalla şu etkinlikte konuşuyor: 36th Nordic Workshop on Programming Theory (NWPT 2026) (Tartu, Estonia, 19–20 Nov 2026) in the session “Equality of Proofs in Substructural Intuitionistic Modal Logics”.
19–20 Nov 2026Tartu, Estonia
Technical University of Munich
University of Ljubljana
Bu profil kongre.net'te yayımlanan konferans programlarından derlenmiştir. Michel Smykalla 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].