Barcelona (disambiguation)

Barcelona is the capital city of Catalonia.

Barcelona may also refer to:

Places

Catalonia

Elsewhere

People

Arts, entertainment, and media

Music

Groups

Works

Other art. entertainment, and media

Astronomical bodies

  • Barcelona (meteorite), a meteorite which fell in Catalonia in the year 1704
  • 945 Barcelona, an asteroid

Sports

FC Barcelona family

Other uses in sports

  • Barcelona (Tarrafal), a football club in Cape Verde Islands
  • Barcelona Dragons, was a team originally in the World League of American Football from Barcelona, Catalonia
  • Barcelona Esporte Clube, a football club in Brazil
  • Barcelona Sporting Club, a sports club from Guayaquil, Ecuador
  • Circuit de Catalunya ("Barcelona"), a motorsport race track in Montmeló, Barcelona, home of Formula One Spanish Grand Prix
  • CN Barcelona, a swimming and water polo club from Barcelona, Catalonia
  • Real Club de Tenis Barcelona, a private tennis club from Barcelona, Catalonia
  • San Felipe Barcelona, a football club in Belize

Transportation

  • Barcelona, a cruise ship
  • Barcelona Metro, an extensive network of electrified railways that run underground in central Barcelona, Catalonia.
  • Barcelona–El Prat Airport, an airport in Barcelona, Catalonia.
  • Rodalies Barcelona, the commuter rail service that serves Barcelona, Catalonia, and its metropolitan area as well as other parts of the province.
gollark: Writing a bare metal microkernel in Haskell is not very practical.
gollark: > I never tried it. It's nice that it has these safety features but I prefer C++ still. > If I want to be sure that my program is free of bugs, I can write a formal specification and do a > correctness proof with the hoare calculus in some theorem proofer (People did that for the seL4 microkernel, which is free from bugs under some assumptions and used in satellites, nuclear power plants and such)Didn't doing that for seL4 require several hundred thousand lines of proof code?
gollark: Most countries have insanely convoluted tax law so I assume it's possible.
gollark: Hmm, so you need to obtain a hypercomputer of some sort to write your tax forms such that they cannot plausibly be checked?
gollark: What if it's somehow really easy to find *a* solution to something, but not specific ones, and hard to check the validity of a specific maybe-solution? Is that possible?
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.