VMCAI
Sun 17 - Tue 19 January 2016
St. Petersburg, Florida, United States
co-located with
POPL 2016
Toggle navigation
Attending
Venue: Hilton St. Petersburg Bayfront
VMCAI 2016 Proceedings
Registration
Invited Speakers
Student Travel Funding
Program
Complete Program
Your Program
Online Access to Conference Proceedings
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Track/Call
Organization
VMCAI Committees
Program Chairs
Program Committee
Organizing Committee
Steering Committee
Contributors
People Index
Search
Series
Series
VMCAI 2025
VMCAI 2024
VMCAI 2023
VMCAI 2022
VMCAI 2021
VMCAI 2020
VMCAI 2019
VMCAI 2018
VMCAI 2017
VMCAI
Sign in
Sign up
POPL 2016
(
series
) /
VMCAI
(
series
) /
Program Committee
VMCAI
Bor-Yuh Evan Chang
Committee Member
University of Colorado Boulder
Hana Chockler
Committee Member
King's College London
Eva Darulova
Committee Member
MPI-SWS, Germany
Rayna Dimitrova
Committee Member
MPI-SWS, Germany
Javier Esparza
Committee Member
Aarti Gupta
Committee Member
Princeton University
Arie Gurfinkel
Committee Member
Carnegie Mellon University
United States
Barbara Jobstmann
Co-chair
EPFL, Switzerland
Switzerland
K. Rustan M. Leino
Co-chair
Microsoft Research
Francesco Logozzo
Committee Member
Madhavan Mukund
Committee Member
Chennai Mathematical Institute
India
Peter Müller
Committee Member
ETH Zurich
David Parker
Committee Member
University of Birmingham
United Kingdom
Andreas Podelski
Committee Member
University of Freiburg
Nadia Polikarpova
Committee Member
MIT CSAIL, USA
Russia
Philipp Ruemmer
Committee Member
Uppsala University
Roopsha Samanta
Committee Member
IST Austria
Martina Seidl
Committee Member
Sanjit Seshia
Committee Member
UC Berkeley
Sharon Shoham
Committee Member
Tachio Terauchi
Committee Member
JAIST
Japan
Caterina Urban
Committee Member
Inria & École Normale Supérieure | Université PSL
France
Thomas Wies
Committee Member
New York University
United States
Lenore Zuck
UIC
x
Thu 10 Oct 16:57