Research

Research

Here you can find information about research at the Institute of Computer Science.

Study and Teaching

Study and teaching

All important information about our study programs.

About us

About us

Here you will find information about our staff, how to find us and current vacancies.

Welcome to the website of the Institute for Computer Science

Study and Teaching

Study

All about studying with us.

Students

Students

Current information for pupils

News

News

All news in the overview.

News

Jürgen at 4ing

Jürgen at 4ing Our dean attends the "Fakultätentage der Ingenieurwissenschaften und der Informatik an Universitäten". Our faculty gets awarded the Gütesiegel des Fakultaetentages fuer Maschinenbau und Verfahrenstechnik.-4ing-

Hiwis für die Datenbanken I-Vorlesungen im WS 2008/2009 gesucht

Oberseminar

Oberseminar Today Rebecca will speak about her research.

Kolloquium

Kolloquium Prof. Dr. Heribert Vollmer from Leibniz Universität Hannover will speak on "The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments". -Heribert Vollmer-