10times
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.


Timings

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

Entry Fees

Check Official Website

Participants

100 - 500
Delegates
Based on previous editions

Category & Type

Conference
Science & Research
IT & Technology

Editions

Jan 2020 21st Edition


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event
Online Editions
Event Happened Alongside

Organizer

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
29.952556-90.068816

Venue Map & Directions

map of JW Marriott New Orleans

JW Marriott New Orleans

614 Canal St, New Orleans, LA 70130
USA

Get Directions

Featured Hotels in New Orleans

More Hotels