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
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/ 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
