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 1ExhibitorsSpeakersReviewsPhotosTravel 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

Estimated Turnout

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
Event Happened Alongside
Acm Sigplan Symposiu... 19 - 25 Jan 2020
5 Followers
Different Located Editions
Philadelphia, USA16 - 18 Jan 2022

Organizer

Logo Follow Company

McGill University

69 Total Events / 5 Upcoming Events

Followers [ Users who have shown interest for this Event ] Join Community Invite

Write a Review

Add Your Review
29.952556-90.068816

Venue Map & Directions

map of JW Marriott New Orleans

614 Canal St, New Orleans, LA 70130
USA

Get Directions

Featured Hotels in New Orleans