21st EditionConference

International Conference on Verification, Model Checking, and Abstract Interpretation

19 - 25 Jan 2020 New Date Reminder
JW Marriott New Orleans, New Orleans, USA
AboutFollowers 1ReviewsExhibitorsPhotosSpeakersTravel Deals

International Conference on Verification, Model Checking, and Abstract Interpretation provide a forum for researchers from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. This conference cover the following topics areas are program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, type systems, deductive methods, program logics, first-order theories and etc.


09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website


100 - 500
Based on previous editions

Category & Type

Science & Research
IT & Technology


Jan 2020 21st Edition

Frequency Not Available

Official Links


Report Error
Claim this event
Online Editions
Event Happened Alongside


Logo Follow Company

McGill University

62 Total Events / 2 Upcoming Events

User Community [ Users who have shown interest for this Event ]

Islam Ibrahim Omara

Islam Ibrahim Omara

Egypt at Faculty of Agriculture, Cairo University

Giza, Egypt

Write a Review

Add Your Review

Venue Map & Directions

map of JW Marriott New Orleans

JW Marriott New Orleans

614 Canal St, New Orleans, LA 70130

Get Directions

Featured Hotels in New Orleans

More Hotels