Conference

International Conference on Verification, Model Checking, and Abstract Interpretation


  • About
  • Ratings & Reviews

The International Conference on Verification, Model Checking, and Abstract Interpretation, organized by the University of Texas will take place from 7th January to 13th January 2018 at the Omni Los Angeles Hotel at California Plaza in Los Angeles, United States Of America. The conference will cover areas like interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Visitors Attending

John Hardy

John Hardy

CTO Engineering and International Business Develop ..Nakhon Ratchasima, Thailand
Robert Ludwig

Robert Ludwig

Vice President at Gulf AtlanticMiami Beach, United States
Ling Cheung

Ling Cheung

Aster Solutions Architect at TeradataLos Angeles, United States
34.052577-118.250514

Map & Directions

map of Omni Los Angeles Hotel at California Plaza

Omni Los Angeles Hotel at California Plaza

251 S Olive St, Los Angeles, CA 90012
Los Angeles, USA

Get Directions

Featured Hotels in Los Angeles

More Hotels

Other Related Events


Business Services

More Events in Los Angeles

All Events in Los Angeles