10times
31st Edition Conference

International Conference on Computer-Aided Verification

15 - 18 Jul 2019
Tishman Auditorium, New York, USA
About Followers 4 Reviews Exhibitors Photos Speakers 3 Travel Deals

The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security.


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
IT & Technology

Editions

15 - 18 Jul 2019 31st Edition


Frequency Not Available

Official Links

WebsiteContacts


Report Error
Claim this event
Online Editions
Different Located Editions
Los Angeles, USA 19 - 24 Jul 2020
1 Followers
Toronto, Canada 17 - 23 Jul 2016
13 Followers
San Francisco, USA 18 - 24 Jul 2015
2 Followers

Organizer

Logo Follow Company

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

CHARLES GBEKATUUR

CHARLES GBEKATUUR

banker at Cvv

Accra, Ghana
Rakhaa

Rakhaa

Student at Student

New York, United States
usman

usman

Consultant at IBM

New York, United States
sontan adewale daniel

sontan adewale daniel

jd gas company at dewson nig enterprises limited ( jd gas company)

Ilishan-Remo, Nigeria

Write a Review

Add Your Review

Speakers

Speaker
Dawn Song

Dawn Song

Professor at Oasis Labs Berkeley, United States
Speaker
Kenneth McMillan

Kenneth McMillan

Principal Researcher at Microsoft Bellevue, United States
Speaker
Swarat Chaudhuri

Swarat Chaudhuri

Professor at Rice University Houston, United States
40.735459 -73.993503

Venue Map & Directions

map of Tishman Auditorium

Tishman Auditorium

63 5th Ave, New York, NY 10003, USA
USA

Get Directions

Featured Hotels in New York

More Hotels