kongre.net
kongre.net'e hoş geldiniz
English
IC
ConferenceYüz yüze

28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027)

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

kongre.net'e hoş geldiniz
kongre.net'e hoş geldiniz
Resmi web sitesi (yeni sekmede açılır)

Bildiri Çağrısı

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

Gönderim bilgilerini gör

Kayıt

Kayıt organizatör tarafından yapılıyor

Kayda git(yeni sekmede açılır)

Temel bilgiler

28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027), 11 – 12 Ocak 2027 tarihlerinde Hilton Mexico City Reforma, Mexico City, Meksika konumunda düzenlenen bir konferans etkinliğidir.

Tarihler:
11 – 12 Ocak 2027
Biçim:
Yüz yüze
Mekân:
Hilton Mexico City Reforma, Mexico City, Meksika
Konular:
Computer & Information Sciences, Software Engineering & Architecture
Resmi web sitesi:
conf.researchr.org/home/VMCAI-2027
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2027 will be the 28th edition in the series.

Kimler katılmalı

Researchers from the communities of Verification, Model Checking, and Abstract Interpretation.

Düzenleme Kurulu

Dominik Klumpp - Co-chair, LIX, CNRS, Ecole Polytechnique, France Caterina Urban - Co-chair, Inria - École Normale Supérieure, France

Keynote speakers

Konuşmacıları gör

Isabella Mastroeni, Cezara Drăgoi

Salon ve konaklama Hilton Mexico City ReformaMexico City, MeksikaMekân bilgileriKimler katılıyor? Kimlerin katılmayı planladığını görün ve katılacağınızı belirtinKimlerin katılacağını görün

Reklam

İlgili etkinlikler