IZOD IndyCar World Championships
The IZOD IndyCar World Championship Presented by Honda was an IndyCar Series race on the Las Vegas Motor Speedway, held from 1996–2000, and again in 2011. It was first known as the Las Vegas 500k. The Champ Car World Series held a race at the track during the 2004 and 2005 seasons as doubleheaders with the NASCAR Camping World Truck Series and a street race was held in Las Vegas at the Fremont Street Experience in 2007.
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.