Abstract State Machines
-
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
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.
