A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.

Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.

Links to courses in algorithms maintained at various university computer science departments.

Introduction to data structures, with Java code, by Peter M. Williams.

Lecture notes by Steven Skiena.

A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.

An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.

Searchable index of problems, links and methodology.

An introduction to quantum algorithms by Matthew Hayward for those new to the field and who do not have an extensive physics background.

A collection of links for and to researchers in the subject.

Section on Algorithms and Data Structures. A compilation of links.

An evolving web text in PostScript and PDF, with related software.

A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.

Resources that describe computer programming algorithms.

Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).

Algorithms lecture notes, courses, tutorials, references, guides and online books.

Links to papers, conferences and other sites, maintained by Helmut Prodinger.

A project to create tools for developing and testing self-stabilizing algorithms.

Lecture notes and links for a course by Godfried Toussaint.

Lecture notes of a course at San Diego State University.