Welcome to the Directory
Results 1 to 3 of 3
Abstract State Machines 
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/    More Info
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/    More Info
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/index2.html    More Info