Conference CFPs

Browse published conference editions by keyword, category, city, country, deadline, and popularity.

27th International Conference on Verification, Model Checking, and Abstract Interpretation

Location

Rennes, France

Event date

Jan 12, 2026 – Jan 13, 2026

Paper deadline

TBA

Status

Past / closed