Change 11275

Time Attribute with previous and current values
Change #11275
2011-10-21
15:59:11

create Calagator::Event 1250461509 A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London Roll back

description nil We will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also brings some light to a couple of age-old questions.
end_time nil 2011-10-21 17:00:00 -0700
id nil 1250461509
start_time nil 2011-10-21 16:00:00 -0700
title nil A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London
url nil http://www.cs.pdx.edu
venue_details nil Enter at 1900 SW Fourth Avenue. Take the stairs to the basement and turn right. Go to room 86-01.
venue_id nil 202393017