2011 IZOD IndyCar World Championship
The 2011 IZOD IndyCar World Championship was the final race of the 2011 IZOD IndyCar series schedule. The event took place at Las Vegas Motor Speedway in Clark County, Nevada on October 16, 2011. The race was stopped following a major accident triggered by drivers trying to avoid light contact between Wade Cunningham and James Hinchcliffe. 15 cars were involved in the wreck, which resulted in the death of two-time Indianapolis 500 winner and 2005 series champion Dan Wheldon. After a delay of over two hours, IndyCar decided to abandon the remaining 188 laps after word of Wheldon's death was relayed to the drivers, though the drivers did complete a five-lap salute in honor of Wheldon.
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.