VMCAI 2019

From Openresearch
Jump to: navigation, search
VMCAI 2019
20th International Conference on Verification, Model Checking, and Abstract Interpretation
Event in series VMCAI
Dates 2019/01/13 (iCal) - 2019/01/15
Homepage: https://popl19.sigplan.org/track/vmcai-2019
Location: Cascais, Portugal
Loading map...

Papers: Submitted 62 / Accepted 27 (43.5 %)
PC members: Miltiadis Allamanis, Timos Antonopoulos, Domagoj Babic, Josh Berdine, Ahmed Bouajjani
Keynote speaker: Nuno P. Lopes, Kedar Namjoshi, Sylvie Putot
Table of Contents