1. Abstract State Machines

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

http://www.eecs.umich.edu/gasm/

2. ACM SIGACT

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.

http://sigact.acm.org/

3. Algorithm Design Paradigms

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

http://www.csc.liv.ac.uk/~ped/teachadmin/algor/algor.html

4. Algorithms Archive

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

http://editor.altervista.org/

5. Algorithms Courses

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

http://www.cs.pitt.edu/~kirk/algorithmcourses/

6. Algorithms in the Real World

Notes for a course at Carnegie Mellon University.

http://www.cs.cmu.edu/~guyb/realworld.html

7. Analysis Of Algorithms

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.

http://algo.inria.fr/AofA/

8. CATS: Combinatorial Algorithms Test Sets

Searchable index of problems, links and methodology.

http://www.jea.acm.org/CATS/

9. Combinatorial Algorithms

Lecture notes of a course at San Diego State University.

http://www.eli.sdsu.edu/courses/fall95/cs660/notes/

10. The Algorithm Base

Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.

http://www.intelligenceunited.com/wp-admin/install.php