2012 IndyCar Series
The 2012 IZOD IndyCar Series was the 17th season of the IndyCar Series, and the 101st season of American open wheel racing. Its premier event was the 96th Indianapolis 500, held on Sunday, May 27. The series was sanctioned by IndyCar, and took place in three countries on two continents. Chevrolet returned to the series for the first time since 2005 while Lotus debuted, with the latter leaving the IndyCar Series after the 2012 season due to poor performance.
Interactive Theorem Proving (conference)
The inaugural meeting of ITP was held on 11–14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference. It is the extension of the Theorem Proving in Higher Order Logics (TPHOLs) conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009.