Please visit the new page at http://sites.google.com/a/logroup.ucsd.edu/web/home/