The Department of Computer Science hosts various websites, either from departmental servers or those of the School of Arts and Sciences. The www.cs.miami.edu is the main location, however the official documentation is maintained and served by Arts and Sciences at their www.as.miami.edu/csc. The department also has the web.cs.miami.edu location for experimental and student work, including homepages and webapps.

• Departmental .as/csc website

  The official departmental website is hosted with the help of the School of Arts and Sciences.

  • Follow: www.as.miami.edu/csc to the official web site.

  Your bookmarked www.cs.miami.edu pages might have to be refreshed using the www.as.miami.edu/csc hostname.

• Faculty .cs/home homepages

  Individual faculty pages are hosted on departmental machines.

  • Follow: www.cs.miami.edu/home/_username_,
  • or: www.cs.miami.edu/~_username_.

• Internet resources

  There are various web resources, projects, and related web sites; of which:

  • subversion at svn://svn.cs.miami.edu
  • git at git://git.cs.miami.edu
  • DNS as ns1.cs.miami.edu
  • SPEC mirror at spec.cs.miami.edu

• Notable departmental sites and projects

  • Perl for biologists. Companion learning for csc210. By Prof's Kocak and Basar.
  • tptp.org: Thousands of Problems for Theorem Provers by Prof Sutcliffe