Abstract. The detection of astrophysical neutrinos, certainly a break-through result, introduced new experimental challenges and fundamental questions about acceleration mechanisms of cosmic rays. On one hand IceCube succeeded in finding an unambiguous proof for the existence of a diffuse astrophysical neutrino flux, on the other hand the precise determination of its spectral index and normalization requires a better knowledge about the atmospheric background at hundreds of TeV and PeV energies. Atmospheric neutrinos in this energy range originate mostly from decays of heavy-flavor mesons, which production in the phase space relevant for prompt leptons is uncertain. Current acceleratorbased experiments are limited by detector acceptance and not so much by the collision energy. This paper recaps phenomenological aspects of atmospheric leptons and calculation methods, linking recent progress in flux predictions with particle physics at colliders, in particular the Large Hadron Collider.