Yes they have:
Is one - there is some useful info on that site if you look around. Should help answer some questions as to how the process might work.
Just to reiterate:
Google hasn't said anything official about an IPO happening anytime in the future.
Even if they did - we don't know they would use an auction process.
Even if they did - we don't know they would use OpenIPO.