Formation , Detection , and Characterization of Extrasolar Habitable Planets ( IAU S 293 )