VMCAI 2022
From Openresearch
Jump to navigation
Jump to search
| VMCAI 2022
|
The 24th International Conference on Verification, Model Checking, and Abstract Interpretation
|
| Ordinal
|
24
|
| Event in series
|
VMCAI
|
| Dates
|
2023/01/16 (iCal) - 2023/01/17
|
| Homepage:
|
https://popl23.sigplan.org/home/VMCAI-2023
|
| Location
|
| Location:
|
Boston, Massachusetts,United States
|
|
|
| Important dates
|
| Submissions:
|
2022/09/15
|
| Notification:
|
2022/10/20
|
| Camera ready due:
|
2022/11/10
|
|
|
| Papers:
|
Submitted 34 / Accepted 17 (50%)
|
| Committees
|
| General chairs:
|
Cezara Drăgoi, Michael Emmi, Jingbo Wang
|
| PC chairs:
|
Mohamed Faouzi Atig, Ahmed Bouajjani, Bor-Yuh Evan Chang, Deepak D'Souza, Rayna Dimitrova, Cezara Drăgoi, Michael Emmi, Constantin Enea, Jerome Feret, Jean-Christophe Filliatre, Bernd Finkbeiner, Arie Gurfinkel, Liana Hadarean, Ákos Hajdu, Shaobo He, Dejan Jovanović, Burcu Kulahcioglu Ozkan, Akash Lal, Anthony Widjaja Lin, Stephen Merz, Suha Orhun Mutluergil, Kedar Namjoshi, Jorge A. Navas, Gennaro Parlato, Corina S. Pasareanu, Tatjana Petrov, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Subodh Sharma, Mihaela Sighireanu, Mandayam Srivas, Zhen Zhang, Florian Zuleger
|
| Table of Contents
|
|
|
|
|