VMCAI 2018 19th International Conference on Verification, Model Checking, and Abstract Interpretation

19th International Conference on Verification, Model Checking, and Abstract Interpretation is programmed to start on 07 Jan and end on 09 Jan 2018.

The 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018) will take place at Omni Los Angeles Hotel at California Plaza in Los Angeles, California USA.

There is the opportunity to discover the newest developments in Computer, Information Technology, Computer Science, Programming and Verification at this important Conference.

VMCAI 2018 is an annual Conference.

Let Los Angeles must do tourist attractions make you adore this city when you are there for VMCAI 2018. Here are the great things you can do in Los Angeles!