VMCAI 2027
Mon 11 - Tue 12 January 2027
Mexico City, Mexico
co-located with
POPL 2027
Toggle navigation
Attending
Venue: Hilton Mexico City Reforma
Track/Call
Organization
VMCAI 2027 Committees
Track Committees
Organizing Committee
Steering Committee
Program Committee
Artifact Evaluation Committee
Contributors
People Index
Search
Series
Series
VMCAI 2027
VMCAI 2026
VMCAI 2025
VMCAI 2024
VMCAI 2023
VMCAI 2022
VMCAI 2021
VMCAI 2020
VMCAI 2019
VMCAI 2018
VMCAI 2017
VMCAI
Sign in
Sign up
POPL 2027
(
series
) /
VMCAI 2027 (
series
) /
28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2027)
/
Program Committee
VMCAI
Erika Abraham
RWTH Aachen University
Germany
Haniel Barbosa
Universidade Federal de Minas Gerais
Brazil
Valentina Castiglioni
Eindhoven University of Technology
Netherlands
Giovanna Kobus
Conrado
Aarhus University
Denmark
Marco Eilers
ETH Zurich
Switzerland
Constantin Enea
LIX, CNRS, Ecole Polytechnique
Gidon Ernst
LMU Munich
Germany
Grigory Fedyukovich
Florida State University
United States
Alberto Griggio
Fondazione Bruno Kessler
Italy
Lucie Guillou
Guangyu Hu
Huawei Hong Kong Research Center
Hong Kong SAR China
Anastasia Isychev
TU Wien
Austria
Taylor T
Johnson
Vanderbilt University
United States
John C.
Kolesar
Amazon Web Services
United States
Eric Koskinen
Stevens Institute of Technology
United States
Benedikt Maderbacher
Raphaël Monat
Inria and University of Lille
France
Sergio Mover
École Polytechnique
France
Charlie Murphy
Montana State University
United States
Suha Orhun
Mutluergil
Sabanci University, Turkey
Srinidhi Nagendra
AMD Research
India
Jorge A.
Navas
Amazon Web Services
United States
Rodrigo Otoni
University of Groningen
Netherlands
Andreas Podelski
University of Freiburg
Germany
Xavier Rival
Inria - CNRS - Ecole Normale Superieure de Paris - PSL University
France
Sriram Sankaranarayanan
University of Colorado, Boulder
United States
Michael Schwarz
National University of Singapore
Singapore
Julien Signoles
Université Paris-Saclay, CEA, List
France
Tom
van Dijk
University of Twente
Netherlands
Vesal Vojdani
University of Tartu
Estonia
Emily Yu
Leiden University
Netherlands
Nengkun Yu
Stony Brook University
United States
Enea Zaffanella
University of Parma
Italy
Minjian Zhang
x
Tue 11 Aug 21:52