HOL or Hol may refer to:

Places

Hol, Norway Hol is a Municipalities of Norway, municipality in Buskerud Counties of Norway, county, Norway. Administrative history The area of Hol was separated from the municipality Ål in 1877 to become a separate municipality. In 1937 a part of neighborin ...

, in Buskerud county *

Hol Municipality (Nordland) Hol is a former municipality in Nordland county, Norway. The municipality existed from 1919 until its dissolution in 1963. Hol was located on the island of Vestvågøya in the southeastern part of what is now Vestvågøy Municipality. The admin ...

, a former municipality in Norway *

Hol, Tjeldsund or is a village in Tjeldsund Municipality in Troms county, Norway. The village is located along the Tjeldsundet strait on the northeastern shore of the island of Tjeldøya. The village lies about north of the Ramsund Bridge. Tjeldsund Church ...

, Norway * Hol, Ludhiana, Punjab, India

Science and technology

HOL (proof assistant) HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies. Systems in this family follow the LCF (Logic for Computable Functions) approach as they are imp ...

, a family of interactive theorem proving systems *

Head-of-line blocking Head-of-line blocking (HOL blocking) in computer networking is a performance-limiting phenomenon that occurs when a queue of packets is held up by the first packet in the queue. This occurs, for example, in input-buffered network switches, out-o ...

in computer networking *

Higher-order logic In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are m ...

in mathematics and logic *

Holonomy In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence ...

, mathematical symbol Hol, in differential geometry

Sports

* Hol IL, a sports club in Buskerud county, Norway *

Hollingworth Lake Rowing Club Hollingworth Lake Rowing Club is a rowing club on Hollingworth Lake and based at The Clubhouse, Lake Bank, Littleborough, Greater Manchester Greater Manchester is a ceremonial county in North West England. It borders Lancashire to the nor ...

, England, boat code HOL *

Holdsworth (cycling team) Holdsworth was a UCI Continental team founded in 2018. Although the team is British-based, with its headquarters in Rotherham, Yorkshire, it is Irish-registered. The founding of the team marked the return of the bicycle brand to competition after ...

, UCI code HOL * HOL (IOC country code), 1968–1988 code for the Netherlands

Transportation

Hol Station Hol Station () is a disused railway station located on the Bergen Line in Hol municipality, Buskerud county, Norway. It was opened as a Passing loop A passing loop (UK usage) or passing siding (North America) (also called a crossing loop, c ...

, Hol Norway * Hol station, on the Udhna–Jalgaon line, India *

Hollywood station (Florida) Hollywood station is a train station in Hollywood, Florida, which is served by Tri-Rail and Amtrak. The station is located at 3001 Hollywood Boulevard, just west of I-95 and east of State Road 9. It has two side platforms serving the line's ...

, U.S., station code HOL *

Holmesglen railway station Holmesglen railway station is a commuter railway station on the Glen Waverley line, which is part of the Melbourne railway network. It serves the eastern suburb of Malvern East, in Melbourne, Victoria, Australia. Holmesglen station is a groun ...

, Melbourne, Australia, station code HOL *

Holsworthy railway station, Sydney Holsworthy railway station is located on the East Hills line, serving the Sydney suburb of Holsworthy. It is served by Sydney Trains' T8 Airport & South Line services. History Holsworthy station opened on 21 December 1987 when the East Hill ...

, Australia, station code HOL *

Holton Heath railway station Holton Heath railway station serves the area of Holton Heath in Wareham St Martin, Dorset, England. It is down the line from . It was built to serve the Royal Navy Cordite Factory, Holton Heath during the First World War. It did not open to t ...

, England, station code HOL

Other uses

Hol (surname) Hol is a surname. Notable people with the surname include: * Dag Hol (born 1951), Norwegian painter *Diederik Hol (born 1972), Dutch designer *Erik Hol (born 1985), Dutch darts player * Jacoba Hol (1886–1964), physical geographer; daughter of Ric ...

, including a list of people with the name * ''Hol'' (role-playing game) *

Hands On Learning Australia Hands On Learning Australia is a not-for-profit organisation listed as a Harm Prevention Charity by the Australian Government. The charity was assisted to come into being by Social Ventures Australia and became an Australian company in 2008 with ...

, a charity *

Hellas Online Hellas Online was one of the leading Greek fixed-line telephony service providers based in Athens. Founded in 1993, Hellas Online (hol) was one of the first Internet service providers in Greece offering public dial-up Internet access. It evolved f ...

(hol), a Greek telephony and Internet service provider *

Holiday Airlines (US airline) Holiday Airlines was a California intrastate airline. Holiday operated scheduled passenger service with Lockheed Electra turboprops in California almost exclusively serving Lake Tahoe from Southern California and the San Francisco Bay Area durin ...

(ICAO airline code HOL) *

Holu language Holo is a Bantu language of Angola and the Democratic Republic of Congo The Democratic Republic of the Congo (DRC), also known as the DR Congo, Congo-Kinshasa, or simply the Congo (the last ambiguously also referring to the neighbouring ...

, ISO 639 language hol * HOL (ITU letter code) for the Netherlands

Places

Science and technology

Sports

Transportation

Other uses

See also