VMCAI 2019

From OPENRESEARCH fixed Wiki
Revision as of 22:42, 24 October 2021 by Th (talk | contribs) (modified through wikirestore by Th)
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at VMCAI 2019/rating

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
Location: Cascais, PT/11, Portugal
Loading map...

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