Das Institut beschäftigt sich vor allem mit der Modellierung, Verifikation und dem Test reaktiver Systeme. Die Hauptprojekte sind Step-X und der SFB562.

Hochschule Bremen

Fachbereich 4 (Informatik) der Universität Koblenz

Köln

Der Bereich stellt sich, seine Mitarbeiter sowie Aufgaben in Forschung und Lehre vor.

Der Fachbereich stellt sich vor und informiert über die Organisationsstruktur, die Studiengänge und Forschungsprojekte.

Informationen zu den Studiengängen "Angewandte Informatik" und "Digitale Medien".

Gesamthochschule Hagen

Der Fachbereich informiert über Studiengänge, Forschungsgebiete, Termine, Neuigkeiten, Fachgebiete und Gruppen.

Universität Kaiserslautern

Hochschule für Technik, Wirtschaft und Kultur, Leipzig

Konstanz (Deutschland)

Universität Essen - Studienangebote, Fachgebiete, Lehrangebot und Neuigkeiten

Universität Paderborn - Näheres zu Forschung, Kooperationen und Lehre. Besonders hervorzuheben sind die Seiten für Schüler sowie das Forum "Industrie trifft Informatik"

Informationen zum Fachbereich und Einstiegspunkt in das Math-Net.

Gießen

Die Forschungsgebiete des Fachbereiches Informatik der Universität Dortmund werden vorgestellt. Daneben sind auch Beschreibungen verschiedener Forschungsprojekte verfügbar.

Rheinisch-Westfälische technische Hochschule Aachen

Informationen zu Studium, Forschung und Technologietransfer im Bereich Informatik, Bioinformatik, Computer und Kommunikation sowie verwandten Fächern an der Universität des Saarlandes.

Technische Universität München

Die Seite der Informatischen Fakultät stellt sich, ihre Mitarbeiter und Projekte sowie Lehrveranstaltungen vor.

Die Seite der Fakultaet informiert über die Studiengänge Intensivinformatik, Diplom-Informatik, BSc/MSc in Computer Science und Medieninformatik.

Karlsruhe

Technische Universität Ilmenau

Universität München

Universität Passau

Fachhochschule Gelsenkirchen

Technische Universität Chemnitz

Technische Universität Dresden - Studieninformationen (Begabtenförderung, Bewerbungsunterlagen u.a.), aktuelle Stellenausschreibungen, sowie nähere Informationen zu den einzelnen Instituten

Technische Universität München

Universität Dortmund

Universität Karlsruhe

Universität Magdeburg

Universität Stuttgart

Bundeswehr-Universität München

Universität Würzburg

Das Zentrum an der Universität Karlsruhe begleitet Unternehmen zu innovativen Lösungen in der Informations- und Kommunikationstechnologie.

Institut für Informatik an der Technischen Fakultät der Friedrich-Alexander Universität Erlangen-Nürnberg, früher Institut für Mathematische Maschinen und Datenverarbeitung (IMMD).

Trier

Das Institut des Forschungszentrums Karlsruhe stellt sich vor.

Es wird praxisorientierte und interdisziplinäre Forschung und Lehre in der raumbezogenen Datenverarbeitung angeboten. Die Erfassung und Modellierung, Verwaltung, Analyse und Präsentation von Geodaten stellen dabei die Schwerpunkte dar.

Universität Freiburg

Halle-Wittenberg (Deutschland)

Universität Augsburg

Münster

Die Schwerpunkte bilden Datenbanken, Informationssysteme, Softwaretechnologie, Mustererkennung, Bildverarbeitung, Künstliche Intelligenz und Robotik.

Hochschule Bremen

Universität Hannover

Christian-Albrechts-Universität Kiel - Informationen über Veranstaltungen (unter anderem Vorkurs für Studienbewerber), Workshops sowie die Lehre und Forschung am Institut.

Köln (Deutschland)

Die Umsetzung modernster Informationstechnologien und aktueller Management-Methoden in neue EDV-orientierte betriebliche Anwendungskonzepte ist grundlegender Gedanke der Instituts-Philosophie.

Die Einrichtung ist ein interdisziplinäres Kompetenzzentrum an der Technischen Universität Dresden für Forschung und Lehre auf dem Gebiet der Computational Logic. Ziel ist es, die Technologie für die formale Beschreibung, Verifikation und Ablauffähigkeit von komplexen Ingenieursystemen zur Verfügung zu stellen.

Die Seite des Instituts für Automatisierung der FH Bochum informiert über die Aktivitäten in den Bereichen Maschinenbau, Mechatronik, Automatisierung, Fertigungstechnik und Maschinenbauinformatik.

Lehrstuhl für Informatik I - Informationsstrukturen und wissensbasierte Systeme.

Man ist spezialisiert auf Rechnernetze und Multimediatechnik. Informationen zu den Forschungsprojekten und Lehraktivitäten.

Forschungsschwerpunkte des Lehrstuhls: Requirements Engineering, Software Produktlinien, Software Produktfamilien, Software Systemfamilien, COTS, Testen, Software Engineering, Werkzeugkompetenzzentrum und Anforderungsmanagement.

Informationen über den Lehrstuhl an der Deutschen Hochschule für Verwaltungswissenschaften in Speyer.

Hamburg

Informationsseite zum Studium der Informatik an der Medizinischen Universität Lübeck mit Details zu Lehre, Forschung und dem studentischen Leben

Informationen über das Institut sowie die angebotenen Studiengänge.

Lehrstuhl am Institut für Informatik und Praktische Mathematik der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel.

Universität Tübingen