Institutions :: Logic and Foundations

The Seattle Times: Microsoft

Microsoft's Mundie gives campuses peek at tech's future
Mon, 06 Oct 2008 22:49:57 -0700
On a tour of five U.S. universities this week, Microsoft's top strategist, Craig Mundie, is doing what he does best: demonstrating the future.

Computer Science - Google News

Workshop encourages girls' interest in computer science - The Exponent
Mon, 06 Oct 2008 14:00:43 -0000
Workshop encourages girls' interest in computer scienceThe Exponent, IN - Oct 6, 2008By Frances Bridges Purdue is the first university in the Big Ten to sponsor a free parent-child computer science workshop, the intent of which is to spark ...
International Computer Science Institute Celebrates 20 Years of ... - AScribe (press release)
Mon, 06 Oct 2008 16:02:15 -0000
International Computer Science Institute Celebrates 20 Years of ...AScribe (press release) - Oct 6, 2008While specific research directions can shift rapidly, ICSI's mission, furthering computer science research through international collaboration and ...
Microsoft Research, NYU and Consortium of University Partners ... - MarketWatch
Tue, 07 Oct 2008 16:33:39 -0000
Microsoft Research, NYU and Consortium of University Partners ...MarketWatch - 9 minutes agoWhile NYU will serve as the hub of the G4LI in its Computer Science Media Research Laboratory at the Courant Institute of Mathematical Sciences, ...
Hack-a-vote: Students Learn How Vulnerable Electronic Voting Really Is - Science Daily (press release)
Tue, 07 Oct 2008 16:23:54 -0000
Hack-a-vote: Students Learn How Vulnerable Electronic Voting Really IsScience Daily (press release) - 19 minutes agoAs part of his advanced computer science class, Rice University Associate Professor and Director of Rice's Computer Security Lab Dan Wallach tests his ...
The Siebel Foundation Announces 2009 Siebel Scholars - MarketWatch
Tue, 07 Oct 2008 16:18:21 -0000
The Siebel Foundation Announces 2009 Siebel ScholarsMarketWatch - 24 minutes agoThe Siebel Scholars program recognizes outstanding graduate students from the world's most prestigious business and computer science schools. ...
UW createsa computer mouse driven by sound - Seattle Times
Mon, 06 Oct 2008 07:12:00 -0000
UW createsa computer mouse driven by soundSeattle Times, United States - Oct 6, 2008Susumu Harada, a computer- science and engineering graduate student, administered the tests, putting each subject through 12 hours of training. ...

 

Subscribe to Computer_Science RSS feed

Computing and Imaging Institute - University of Utah. Researches visualization, imaging, and applications to biomedicine. Description of current projects.
Meta Description: [ The SCI Institute develops new methods for scientific computing, visualization and simulation as well as software for biomedical applications and a wide range of scientific research. ]

404 ACPC - Austrian Center for Parallel Computation. Source code of projects and conference information.

Adaptive Modeling and Pattern Recognition Research Group - Project descriptions, publications, and software/data downloads of new algorithms for modeling techniques, pattern recognition and optimization tasks. Part of the Center for Applied Computer Science, Berlin.

404 Advanced Telecommunication Laboratory of Sony CSL, Inc. - Resources and papers on software defined radio, space-time processing, ultra-wideband (UWB) systems and error correcting codes.
Meta Description: [ Advanced Telecommunication Laboratory ]

500 Albuquerque High Performance Computing Center - Provides computational resources to researchers throughout the United States. Research, conference listings, and technical reports.
Meta Description: [ The Center for High Performance Computing at UNM, The Center for High Performance Computing is the focal point for all aspects of high performance computing at the University of New Mexico... ]

ANU - The Australian National University Supercomputer Facility provides computing infrastructure to students across Australia. FAQs and links to other resources.

Arctic Region Supercomputing Center - Description of computing facilities and links to research projects.

500 Army High Performance Computing Research Center - Description of research, publications, and computing facilities.

ASCI ( Lawrence Livermore National Lab) - Computing alliance funded by the Department of Defense to research modeling and simulation. Information about current research.
Meta Description: [ Advanced Simulation and Computing (ASC) at Livermore ]

ASCI (Sandia National Lab) - Current research and archive of newsletters.
Meta Description: [ The Advanced Simulation and Computing program (ASC) is one of NNSA’s Defense Programs Campaigns. ]

Bell Labs Computing Sciences Research Center - Lucent Technologies, Murray Hill, NJ, USA.

BRICS - Basic Research in Computer Science, University of Aarhus, Denmark. News, projects, publications, personnel, meetings.

Caltech Center for Advanced Computing Research - Provides facilities for computational science and engineering research at Caltech and the Jet Propulsion Laboratory. Research information, publications, and news.

Center for Advanced Studies, Research and Development in Sardinia - Research into developing advanced simulation techniques and developing network distributed applications. Information about projects, staff, employment opportunities, and documentation.

Center for Computational Research - SUNY Buffalo. Links to other supercomputing resources and information about educational outreach programs.

Center for Parallel Computers in Stockholm - Provides computing resources primarily for Swedish academic research. Information about computing resources and research.

Center for Reliable and High Performance Computing - The center focuses on research in the areas of high-performance computing, high-performance architectures, fault tolerance, and testing. Information about research groups.

Center for Scientific Computing - Facility in Espoo, Finland. Research, collaborators, training, journals, and help desk.
Meta Description: [ CSC on opetusministeriön hallinnoima tieteen tietotekniikan keskus. CSC on voittoa tavoittelematon osakeyhtiö, joka tarjoaa korkeakouluille, tutkimuslaitoksille ja yrityksille tietoteknistä tukea ja resursseja: mallinnus-, laskenta- ja tietopalveluja. Tutkijat voivat käyttää Suomen laajinta... ]

Center for Software Reliability - Group at University of Newcastle upon Tyne that conducts research on how to achieve improved dependability from computing systems.
Meta Description: [ This is the main home page for the Centre for Software Reliability (CSR) web site ]

Central Institute for Applied Mathematics - Provides supercomputer resources for the scientific community in Germany. Research and publications.

Centre for Concurrent Systems and Very Large Scale Integration - Research center of South Bank University. Projects and technical reports.

Centre for Development of Advanced Computing - Bangalore, India. Research areas include parallel computing and multilingual technologies. Includes educational programs and conference schedule.

CEPBA - European Center for the Parallelization of Barcelona is a research, development and innovation center on efficient computing technologies both for academia and industry. Description of research, training programs, and events.

CERFACS - The European Centre for Research and Advanced Training in Scientific Computation researches efficient algorithms for solving scientific problems. Information about research, seminars, and publications.
Meta Description: [ CERFACS ,Calcul Haute Performance ]

404 CESUP-RS - The National Supercomputing Center is open to the academic and industrial community of Brazil. Description of computing resources and publications bibliography.

CLRC - Central Laboratory of the Research Councils. Research and annual reports.

404 Computational Sciences Division at NASA Ames Research Center - News, publications, research areas, projects and highlights, contractors, and contact information.

Computer Technology Institute - In association with the Computer Engineering and Informatics department of the University of Patras. News and links to other organizations.
Meta Description: [ Αρχική Σελίδα του Ινστιτούτου Τεχνολογίας Υπολογιστών. ]

Cornell Theory Center - News, publications, and research.

CRIM - Computer Research Institute of Montreal. Information about the organization.

CSCS - The Swiss Center for Scientific Computing provides the Swiss research community with computing resources. Annual reports and papers available.
Meta Description: [ Swiss National Supercomputing Centre CSCS provides Switzerland with high-performance computing resources. ]

CSRG - University of Toronto Computer Systems Research Group promotes research in the design, implementation, and operating characteristics of complex computing systems. Research and searchable database of technical reports.

Czech Technical University - Description of supercomputing facilities and research papers.

Defense Advanced Research Projects Agency - U.S. military research agency. Archive of news releases, description of offices, and budget information.

Digital Systems and Media Computing Laboratory - Hellenic Open University. Fundamental and applied research in Image and Video Processing, Intelligent Information Access, Digital Libraries, Augmented Reality, and Semantic Web.

Embedded Systems Laboratory of the Turku Centre for Computer Science - News, publications, and information about staff and research. Turku, Finland.

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

ETH CoLab - The Computational Sciences Collaboration Lab provides an academic forum and the physical infrastructure for the exchange of interdisciplinary computational ideas among researchers, educators and students.
Meta Description: [ ETH Zuerich ]

404 Foundations of Computing Science - Universität Kaiserslautern, Fachbereich Informatik. Research and education in foundations of computer science. Staff, projects, publications.

Georgia Tech Research Institute - Develops hardware and software and conducts studies for government, industry, and academia.
Meta Description: [ Georgia Tech Research Institute is the applied research arm of the Georgia Institute of Technology in Atlanta. ]

German Research Center for AI - Deduction and multiagent systems, information management and document analysis, intelligent user interfaces, intelligent visualization and simulation systems, language technology.
Meta Description: [ Die Deutsche Forschungszentrum für Künstliche Intelligenz GmbH mit Sitz in Kaiserslautern und Saarbrücken ist auf dem Gebiet innovativer Softwaretechnologien die führende Forschungseinrichtung in Deutschland. In der Internationalen Wissenschaftswelt zählt die DFKI GmbH zu den weltweit wichti... ]

500 Gmd-First: Dependable Systems - Research and development in high performance architectures and their compilers, operating and runtime systems, and high-speed hardware.

High Performance Computing at the University of Houston - Research information, supercomputer documentation, and links to other facilities.

High Performance Computing Tools Group - At the University of Houston. Research in parallel computing, compilers, performance benchmarking, and parallel languages.

High Performance System Software Laboratory - University of Maryland, College Park. Group contact information and research description.

HPCLAB - University of Patras High Performance Computing Lab researches system software for parallel computing. Project descriptions and papers.

IBM Almaden Research Center - Projects in software and hardware for data storage, scientific and technical applications and materials technology, based in San Jose, CA.
Meta Description: [ IBM Research main home page ]

IBM Research Lab in Haifa - Perform research and development such as VLSI design, verification technology, storage subsystems, computer systems, programming languages and environments, advanced applications, multimedia and service technologies.
Meta Description: [ IBM Haifa Labs Homepage ]

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

Image Recognition Laboratory - University of Koblenz-Landau. Publications abstracts and research description.

Information Systems Research Centres - List maintained by Espen Andersen.

Innovative Computing Laboratory - At the University of Tennessee. Research in various areas of high-performance computing. Publications, links to projects, and news.
Meta Description: [ The Innovative Computing Laboratory (ICL) at the University of Tennessee aspires to be a world research leader in enabling technologies and software for scientific and high performance computing. ]

INRIA - French National Institute for Research in Computer Science and Control. Research areas include parallel and distributed computing, software safety and reliability, multimedia, and analysis, simulation, control and optimization of systems.
Meta Description: [ INRIA's web site, the french national institute for research in computer science and control ]

404 Institut Gaspard-Monge - The research and training center of the university of Marne-la-Vallée in the fields of Computer Science, Electronic, Telecommunication and Networks.

Institute of Informatics, University of Bern - Research projects, publications.

Institute of Information Science, Academia Sinica, Taiwan - Information about research groups, papers, and projects.

Institute of Mathematics and Computer Science - At the Academy of Sciences of Moldova. Researches pure and applied mathematics, computer science, and information technologies.

Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems - Led by the University of Newcastle, UK. Addresses the dependability of computer-based systems. Information about research and job opportunities.
Meta Description: [ These pages gives information about DIRC. DIRC is a research project, funded by EPSRC. It is an Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems ]

IRISA - Institut de recherche en informatique et systemes aleatoires - Rennes - The INRIA, the CNRS, the Université of Rennes 1 and the INSA of Rennes participate to this academic structure. The research scope of this laboratory is related to Information Processing and Communication, including Systemics, Software, Advanced Computer Architectures, Automatism, Signal and Image Processing, Scientific Computation and Knowledge Representation.
Meta Description: [ IRISA Institut de recherche en informatique et systèmes aléatoires ]

LAPIS - University of Victoria Laboratory for Parallel and Intelligent Systems is a research group with interests in concurrent systems, interconnection networks, neural networks, diagnosis and design automation

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications - Boasting more than 150 researchers and around a hundred postgraduates, LORIA carries out its research along two broad themes: theories and techniques of software production (supplying methods, languages and tools which ensure the development and maintenance of dependable, efficient software), human/machine communication and artificial intelligence (the definition of new models leading to an increase in the ability of computers to reason and communicate with humans, and the testing of them in realistic environments)

LSV, Cachan - The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.

Maui High Performance Computing Center - Affiliated with the University of New Mexico. Training workshops and supercomputer documentation.

MCS at Argonne National Laboratory - Description of past and present research using supercomputers, abstracts of publications, and links to software being developed at the lab.
Meta Description: [ Mathematics & Computer Science Division at Argonne National Laboratory ]

Mechanical Systems Services - Southwest Research Institute - Conducts research and applied engineering projects in a range of machine vision technologies.
Meta Description: [ With expertise in advanced computer technology, SwRI conducts customer-driven research and applied engineering projects in a wide range of machine vision technologies ]

Microsoft Research, Cambridge - Research into distributed systems, hardware, information retrieval and analysis, integrated systems, machine learning, networking, and security. Project information and publications.

Mississippi Center for Supercomputing Research - Provides high-performance computing support to the state-supported institutions of higher learning in Mississippi and the University of Mississippi Medical Center. Papers and description of computing resources.

MIT Laboratory for Computer Science - Research in a variety of areas in computer science. Description of research, publications, and news.

MultiMedia Laboratory (MML), University of Zurich - Research and advanced development work in multimedia-based information system design, application prototyping, and media management.
Meta Description: [ MML Multimedia Laboratory, Institut für Informatik, University of Zurich ]

NASA Advanced Supercomputing Division - Research and development of high performance computing technologies, device modeling, nanotechnology, and scientific visualization. Information about research and publications.
Meta Description: [ New home page for the NASA Advanced Supercomputing (NAS) Division, at NASA Ames Research Center, Mountain View, California ]

NIST Information Technology Laboratory - Describes programs and projects at the NIST Information Technology Laboratory, which supports the information technology industry with measurements, standards, and research.

NSF Science and Technology Center - A collaboration of five universities researches scientific visualization. Information about the group and educational opportunities.

Oak Ridge National Laboratory Computer Science and Mathematics Division. - Applied research in high performance computing, applied mathematics, and intelligent systems. Research and publication abstracts.

OFFIS Research Institute - Oldenberg, Germany. Research and development in embedded systems, healthcare information and communication systems.

Ontario Research Center for Computer Algebra - Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted.

OSC - Ohio Supercomputer Center. Innovations in computing, networking, and education.
Meta Description: [ The Ohio Supercomputer Center provides supercomputing, networking, research and educational resources to a diverse state and national community, including education, academic research, industry and state government. At the Ohio Supercomputer Center, we empower our clients, partner strategically t... ]

Parallab - Institute for Informatics, University of Bergen, Norway. Description of computing facilities.

PSC - Pittsburgh Supercomputing Center. Research, educational outreach, and supercomputing news.
Meta Description: [ The Pittsburgh Supercomputing Center provides university, government, and industrial researchers with access to several of the most powerful systems for high-performance computing, communications and data-handling available to scientists and engineers nationwide for unclassified research.... ]

RADIANT - The Research and Development in Advanced Network Technology is a part of the Network Engineering Group (CIC-5) at Los Alamos National Laboratory. Publications bibliography and project descriptions.

San Diego Supercomputer Center (SDSC) - The central nexus for the National Partnership for Advanced Computational Infrastructure. Publications, research, and news.
Meta Description: [ San Diego Super Computer Center ]

SCAI - Institute for Algorithms and Scientific Computing. Events and projects.
Meta Description: [ Fraunhofer Institut für Algorithmen und Wissenschaftliches Rechnen SCAI in Sankt Augustin ]

Scalable Computing Lab - Iowa State University. Publications bibliography and description of computational resources.

SCV - Scientific computing and visualization group at Boston University. Research in computational science and engineering, scientific visualization, and computer graphics.

Sun Microsystems Laboratories - Applied research and advanced development in asynchronous and high-speed circuits, optical interconnects, third-generation web technologies, sensors, network scaling and Java technologies.
Meta Description: [ Sun Microsystems Laboratories. Applied research and advanced development in asynchronous and high-speed circuits, optical interconnects, third-generation web technologies, sensors, network scaling and Java technologies. ]

Supercomputing Institute - Provides supercomputing resources to the University of Minnesota. Description of computers and technical support.

Swedish Institute of Computer Science - Research focuses on distributed interactive real-time systems. Publications and software.

The Centre for Novel Computing - Researches operating systems and compilers. Project descriptions and published papers available.
Meta Description: [ The University of Manchester, School of Computer Science Intranet ]

The National Center for Supercomputing - Information about supercomputing applications and research in the United States.
Meta Description: [ NCSA develops, deploys, and supports cyberinfrastructure to re-engineer the research process ]

The Paradigm Group - Research in parallel computing with applications to geographic/spatial information systems. Projects and bibliography of papers.

500 UCLA Parallel Computing Laboratory - Projects, research, papers, and free parallel simulation languages.
Meta Description: [ UCLA PCL: Find out about our projects, research and free parallel simulation languages, includeing Parsec and Maisie. ]

University Corporation for Advanced Internet Development - Internet2 News, FAQ, and technical information.

500 University of Cambridge HPCF - Description of computing resources available, research, and online manuals.
Meta Description: [ Homepage of the Cambridge Cranfield HPCF: Provides supercomputer facilities to researchers in either university ]

University of York Management and Information Systems Research Group - Aims to extend the discipline of information systems through a synthesis of the social and technical factors related to them.
Meta Description: [ Management and Information Systems Research Group Web Page at the University of York ]

USC Information Sciences Institute - Technical reports, software, research groups.