Call for Papers
Call for Artifacts
Welcome to the website of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023).
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 2023 will be the 24th edition in the series.
VMCAI will take place during January 15-17, 2023.
Organizing Committee
- Michael Emmi, Program Co-Chair
- Cezara Dragoi, Program Co-Chair
- Jingbo Wang, Artifact Evaluation Chair
Program Committee
- Ahmed Bouajjani
- Evan Chang
- Rayna Dimitrova
- Deepak D’Souza
- Constantin Enea
- Jerome Feret
- Jean-Christophe Filliatre
- Bernd Finkbeiner
- Arie Gurfinkel
- Liana Hadarean
- Akos Hajdu
- Shaobo He
- Dejan Jovanovic
- Akash Lal
- Antony Lin
- Stephan Merz
- Suha Mutluergil
- Kedar Namjoshi
- Jorge Navas
- Burcu Ozkan
- Gennaro Parlato
- Corina Pasareaunu
- Tatjana Petrov
- Daniel Schwartz-Narbonne
- Subodh Sharma
- Mihaela Sighireanu
- Mandayam Srivas
- Zhen Zhang
- Florian Zuleger