SymposiumYüz yüze

29th Brazilian Symposium on Formal Methods (SBMF 2026)

Ev sahibi Sociedade Brasileira de Computação

1 – 4 Aralık 2026
Takvime ekle
Apple / Outlook (.ics)Google Takvim
kongre.net'e hoş geldiniz
Cardeal Leme Building, PUC-Rio, Rio de Janeiro, Brazil
Formal SciencesBilgisayar ve Bilişim BilimleriComputer & Information SciencesYazılım Mühendisliği ve Mimarisi

Orada olacağınızı başkalarına bildirin. Bu işlem sizi etkinliğe kaydetmez.

kongre.net'e hoş geldiniz

Resmi web sitesi

Program

Yayımlandı

9 sessions · 4 gün boyunca

7 speakers

Programa göz at

Bildiri Çağrısı

Gönderimler organizatör tarafından alınıyor

Gönderim bilgilerini gör

Temel bilgiler

29th Brazilian Symposium on Formal Methods (SBMF 2026), Sociedade Brasileira de Computação tarafından 1 – 4 Aralık 2026 tarihlerinde Cardeal Leme Building, PUC-Rio, Rio de Janeiro, Brezilya konumunda düzenlenen bir sempozyum etkinliğidir.

Tarihler:: 1 – 4 Aralık 2026
Biçim:: Yüz yüze
Mekân:: Cardeal Leme Building, PUC-Rio, Rio de Janeiro, Brezilya
Konular:: Computer & Information Sciences, Software Engineering & Architecture, Formal Sciences
Organizatör:: Sociedade Brasileira de Computação
Resmi web sitesi:: sbmf2026.github.io

The 29th Brazilian Symposium on Formal Methods (SBMF 2026) is an established international forum for researchers and practitioners working on formal methods and their application to computational systems.

Kimler katılmalı

Researchers and practitioners working on formal methods and their application to the specification, design, analysis, verification, and validation of high-quality computational systems.

Düzenleme Kurulu

Edward Hermann Haeusler - General Chair / PC Chair, PUC-Rio Genaína Nunes Rodrigues - General Chair / PC Chair, UnB Pedro Ribeiro - General Chair / PC Chair, UFJF