<p>Is there any library (or even better, web service) available which can convert from a latitude/longitude into a time zone?</p>

Project dead :-/
These look pretty promising-
Archive link:
https://web.archive.org/web/20150503145203/http://www.earthtools.org/webservices.htm