Deprecated: Function eregi_replace() is deprecated in /var/www/vhosts/dir6.com/httpdocs/spages.php on line 27
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