 |
Abstract State Machines A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/ - Report |
 |
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/ - Report |
 |
Algorithm Design Paradigms A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/algor.html - Report |
 |
Algorithms Archive A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
http://editor.altervista.org/ - Report |
 |
Algorithms Courses Links to courses in algorithms maintained at various university computer science departments.
http://www.cs.pitt.edu/~kirk/algorithmcourses/ - Report |
 |
Analysis Of Algorithms An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.
http://algo.inria.fr/AofA/ - Report |
 |
Combinatorial Algorithms Course material, syllabus and notes for a course by Roger Whitney at SDSU.
http://www.eli.sdsu.edu/courses/fall95/cs660/ - Report |
| |
|