|
- 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.
- Algorithms Archive - A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
|
|
