About | Followers 1 | Reviews | Exhibitors | Photos | Speakers | Travel 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.
Timings09:00 AM-06:00 PM (expected)Not Verified | Entry FeesCheck Official Website |
Participants100 - 500 Delegates Based on previous editions | Category & TypeConferenceScience & Research IT & Technology |
EditionsJan 2020 21st EditionFrequency Not Available | Official LinksWebsiteContactsReport Error Claim this event |
Online Editions International Conference on Verification, Model Checkin... 17 - 19 Jan 2021 | |
Event Happened Alongside Acm Sigplan Symposium on Principles of Programming Lang... 19 - 25 Jan 2020 | |
Organizer![]() |
User Community [ Users who have shown interest for this Event ]

Islam Ibrahim Omara
Egypt at Faculty of Agriculture, Cairo University
Giza, EgyptWrite a Review
Add Your ReviewVenue Map & Directions

JW Marriott New Orleans
614 Canal St, New Orleans, LA 70130
USA
Featured Hotels in New Orleans
![]() | Holiday Inn New Orleans West Ba.. from USD 87.2 |
![]() | Best Western Plus Westbank from USD 105.4 |
![]() | Country Inn & Suites by Radisso.. from USD 119 |
![]() | Hyatt Regency New Orleans from USD 179 |