Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">A New Approach to Temporal Property Verification, Byron Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London</h1> <div class='date'><time class="dtstart dt-start" title="2011-10-24T10:15:00" datetime="2011-10-24T10:15:00">Monday, October 24, 2011 from 10:15</time>–<time class="dtend dt-end" title="2011-10-24T11:15:00" datetime="2011-10-24T11:15:00">11:15am</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202391953'><span class='fn org p-name'>Portland State University FAB, Room 86-09</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">1900 SW Fourth Avenue</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">Oregon</span> <span class="postal-code p-postal-code">97201</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=1900%20SW%20Fourth%20Avenue,%20Portland%20Oregon%2097201%20US'>map</a>) </div> </div> <div class="description p-description"> <p>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.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.cs.pdx.edu">Website</a></li> </ul> </div>