Computer Science

Uses a computers idle time to search for spinning neutron stars (also called pulsars) using data from the LIGO and GEO gravitational wave detectors.

The Edinburgh Parallel Computing Centre provides computing resources to Edinburgh University and industry. Projects, technical support, and publications.

Aims to facilitate the exchange of ideas and results among theoretical computer scientists and to stimulate cooperation between theorists and practitioners. Has organization, publication and activities information and news.

Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings.

Deduction and multiagent systems, information management and document analysis, intelligent user interfaces, intelligent visualization and simulation systems, language technology.

Research project developing a software infrastructure for distributed computing on a world-wide scale.

The International Symposium on High Performance Distributed Computing is a forum for presenting the latest research findings on the use of networked systems for high performance distributed computing.

Projects in software and hardware for data storage, scientific and technical applications and materials technology, based in San Jose, CA.

Perform research and development such as VLSI design, verification technology, storage subsystems, computer systems, programming languages and environments, advanced applications, multimedia and service technologies.

32nd International Colloquium on Automata, Languages and Programming. Lisboa, Portugal; 11–15 July 2005.

35th International Colloquium on Automata, Languages and Programming. Reykjavik, Iceland. 6–13 July 2008.

International Computer Science Institute at the University of California, Berkeley. Research groups and technical reports.

On-line access to 18 IEEE journals and to the proceedings of 150 conferences in computer science. Free access to abstracts and bibliography.

Information about research groups, papers, and projects.

All past and future conferences in Dagstuhl are listed on the web site.