- Kestrel Institute
Nonprofit computer science research institute focusing on formal and knowledge-based methods for incremental automation of the software process.
www.kestrel.edu
- University of Geneva - ISSCO
Research institution specialising in natural language processing, artificial intelligence, and cognitive science. This server provides information on projects, staff, working papers, software, etc.
issco-www.unige.ch
- Oak Ridge National Laboratory
www.epm.ornl.gov
- IBFI Schloss Dagstuhl - Universität des Saarlandes
Computer science; our program and the results of our workshops and technical reports.
www.dag.uni-sb.de
- University of Toronto - Enterprise Integration Laboratory
www.eil.utoronto.ca
- FAST Institute of Computer Science@
dir.yahoo.com/.../Education/College_and_University
- Turku Centre for Computer Science (TUCS)
Coordinates doctoral level research and education in computer science among the three universities in Turku, Finland. Its graduate school offers a Ph.D. programme.
www.tucs.abo.fi
- Vrije Universiteit Brussel (VUB) - Programming Technology Lab
progwww.vub.ac.be
- University of Turku (Finland)
In Finnish.
www.cs.utu.fi
- Technical University of Denmark - Department of Automation
Concerning communications, computer science, and mathematics.
kalman.iau.dtu.dk
- Institute for Systems Science and Biomedical Engineering (LADSEB) - Padua, Italy@
dir.yahoo.com/.../Padua/Education
- Russian Academy of Science@
Part of the Institute of Computational Mathematics and Mathematical Geophysics (Computing Center), a subdivision of the Russian Academy of Sciences.
dir.yahoo.com/.../Novosibirsk/Education
- Korea Advanced Institute of Science and Technology - CORE Lab
Research topics include computer architecture, parallel processing, computer vision/graphics, system modeling/simulation, DEVS and various other formailsms, and system theories.
www-core.kaist.ac.kr
- ITWM-Trier
Research and development in electronic publishing, telemedicine and electronic design automation (in german).
www.itwm-trier.fhg.de
- IBM Almaden Research Center - Computer Science Research
www.almaden.ibm.com/cs
- Swiss Federal Institute of Technology
ic.epfl.ch/page4566.html
- Systems Management and Production Laboratory - University of Alabama in Huntsville Research Institute
smaplab.ri.uah.edu
- Miyahara Laboratory
www.nal.ics.es.osaka-u.ac.jp
- Hogeschool Enschede, afdeling Hoger Informatica Onderwijs
davinci.hio.hen.nl
- NMSU - Laboratory for Logic, Databases, and Advanced Programming
www.cs.nmsu.edu/lldap
|