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.

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

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

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

Notes for a course at Carnegie Mellon University.

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.

Lecture notes of a course at San Diego State University.

Course material, syllabus and notes for a course by Roger Whitney at SDSU.

Resources that describe computer programming algorithms.

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

Lecture notes by Steven Skiena.

Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability, quantum computing, societies and organizations.

A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.

Contains a guide how to build it and a JAVA tutorial how to use it.

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

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.

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

Electronic bibliography on priority queues (heaps). Links to downloadable reports, researchers' home pages, and software.

A list of open problems with updates and solutions.

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

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

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