10times
Conference

International Conference on Verification, Model Checking, and Abstract Interpretation


  • About
  • 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.

Timings

09:00 AM-06:00 PM (expected)
* not verified

Entry Fees

Not available*
* for details check official website

Participants

Delegates: upto 100
* Estimated Count

Category & Type

Conference
Business Services

Editions

Frequency Not Available Listed on 25-08-2017

Official Links

Website Contacts


Report Error
Claim this event
Different Located Editions International Conference on Verification, Model Checking, and Abstract Interpretation Saint Petersburg - USA
International Conference On Verification, Model Checking, And Abstract Interpretation Mumbai - India

Event Reputation
Organizer Reputation
Based on 3 ratings
Venue Reputation
Based on 7 ratings

Organizer

Logo Send Stall Book Request

University of Texas USA

48 events listed

Visitors Attending

robert Paul

robert Paul

Vice President at Gulf Atlantic Miami Beach, United States
John Hardy

John Hardy

CTO Engineering and International Business Develop .. Nakhon Ratchasima, Thailand
Ling Cheung

Ling Cheung

Aster Solutions Architect at Teradata Los Angeles, United States
34.052577 -118.250514

Venue 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
USA

Get Directions

Featured Hotels in Los Angeles

More Hotels