Las Vegas Motor Speedway
On October 16, 2011, the final race of the 2011 IndyCar season, the IZOD IndyCar World Championship, was held at Las Vegas. However, the race was halted by a horrific crash on lap 11 that involved 15 cars, some of which became airborne, and some of which burst into flames. The crash began when Wade Cunningham made light contact with James Hinchcliffe, but the situation turned into a big pile-up of cars. The crash allowed a red flag to be waved almost instantly, due to the remains of the damaged cars and the amount of debris on the track.
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.