« All Events This event has passed. JSPS International Program Information Session February 25, 2019 @ 3:05 pm - 3:35 pm « Break Exploiting Abstract Interpretation for Model Checking Programs » Yusuke Nakashima (JSPS) (slides) Related Add to calendar Google Calendar iCalendar Outlook 365 Outlook Live Details Date: February 25, 2019 Time: 3:05 pm - 3:35 pm Event Category: Information Organizer Hunter College Phone 2126503988 Email raffi.khatchadourian@hunter.cuny.edu View Organizer Website Venue Hunter West 3rd Floor Small Cafeteria 695 Park Avenue New York, NY 10065 United States + Google Map Phone 2126503988 View Venue Website