Research focuses on distributed interactive real-time systems. Publications and software.
http://portal.acm.org/
The ACM Guide and Digital Library with a set of internal and external reference and citation links giving access to current research.
http://www.scitech.ac.uk/
One of Europes largest multidisciplinary research organisations supporting scientists and engineers world-wide. Includes details of its research in computational science.
http://www.acm.org/conferences
Online registration, calendar, and links to ACM sponsored conferences.
http://sigact.acm.org/
Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory.
http://www.arsc.edu/
Description of computing facilities and links to research projects.
http://www.acs.org.au/
Promotes IT issues and professional development. Information about membership, publications, events, courses and exams and certification.
http://boinc.berkeley.edu
Berkeley Open Infrastructure for Network Computing (BOINC)Software platform for distributed computing using volunteered computer resources, allowing participants to participate in multiple projects. Software downloads, links to active projects, news, message boards, and other information.
http://cr.yp.to/djb.html
University of Illinois, ChicagoComputer hardware, Data structures, Fast arithmetic, Number theory, Networking
http://www.brics.dk/
Basic Research in Computer Science, University of Aarhus, Denmark. News, projects, publications, personnel, meetings.
http://www.bcs.org/
Promotes professional standards, advises UK government and represents the profession. Gives member, professional-development and event information and forums.
http://www.cl.cam.ac.uk/Research/TSG/
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.
http://www.csc.fi/
Facility in Espoo, Finland. Research, collaborators, training, journals, and help desk.
http://cjtcs.cs.uchicago.edu/
A peer-reviewed on-line journal in theoretical computer science. Includes archived articles from 1995 to 2000.
http://www.climateprediction.net/
Large-scale simulation where each participant is given one slightly different scenario to run. Those that successfully model past weather patterns will be more likely to accurately predict the future.