Here is the information about a domain life:
1- From available for registration (1-10 year tearm)
2- Domain expired
3- Grace period (0-45 days, after domain expired date)
4- Redemtion grace period (30 days after grace period)
5- Pending delete (5 days after redemtion grace period)
6- Released available.
It is about 80 days from the expired date, a domain can be available for public registration again.
(Source from http://www.icann.org)