Loading Events

« All Events

  • This event has passed.

Exploiting Abstract Interpretation for Model Checking Programs

February 25, 2019 @ 3:35 pm - 4:00 pm

Gilbert Pajela (CUNY Graduate Center),  Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College)

(slides)

Details

Date:
February 25, 2019
Time:
3:35 pm - 4:00 pm
Event Category:

Venue

Hunter West 3rd Floor Small Cafeteria
695 Park Avenue
New York, NY 10065 United States
+ Google Map
Phone
2126503988
View Venue Website

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.