Of the ones you listed...
MiniDV: HDR-HC7, HV20, and ZR800
Hard drive: HDR-SR7, HDR-SR1, and DCR-SR100
High Definition: HDR-HC7, HDR-SR7, HDR-SR1, and HV20
Standard Definition: DCR-SR100, ZR800
If you're looking for a High Definition (HD) camcorder, then your choices are the HC7, SR7, HV20 and SR1. The only two I can find for around $900 are the SR1 and HV20. The ZR800 and the SR100 are in your price range, but you said you wanted HD quality. I guess I'm confused on what features you want/need and what you're willing to pay for them?
Please make a second list showing the camcorders you are interested in. If it's out of your price range, then you're probably not interested. Once this is done, we can help you choose the right camcorder for your needs.
I'm looking for HD camcorder with mike input with budget of $800-900.
I looked up and find that following camcorders have external mike input.
Sony HDR-HC7
Sony HDR-SR7
Canon HV20
Sony HDR-S1
Sony DCR-SR100
Canon ZR800
Did I missed any thing? I am sure I did, please help me see more option.
My preference is to shoot conferences in the back of stage. I also want to have HD quality but SD might be ok. I HC7, SR7, and HV20 is out of my limit, but I would like your input as what would be best product for my price range and my preference. Thank you in advance.
Tony

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic