In the 1970s Stark formulated conjectures giving formulas for leading terms of Artin L-functions at s=1 and s=0. Tate and Gross formulated p-adic analogues of these conjectures in the 1980s. Our lecture will concentrate on the ideas that are behind the proofs of these p-adic analogues.