Proper Group Actions and the Baum-Connes Conjecture

The Baum-Connes conjecture predicts that the K-homology of the reduced C^*-algebra of a group can be computed as the equivariant K-homology of the classifying space for proper actions. The approach is expository, but it contains proofs of many basic results on topological K-homology and the K-theory of C^*-algebras.