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

Barbara at WSOM'2007

Barbara at WSOM'2007Person/Speaker: Barbara HammerBarbara attends the conference WSOM'2007 from 3.9-6.9.2007. She is coauthor of 6(!) papers presented at the conference.

Barbara and Alex visit Honda R&D

Barbara and Alex visit Honda R&DPerson/Speaker: BarbaraBarbara has been invited to give a presentation at Honda R&D, Offenbach

EASSS

EASSS Jürgen and Wojtek attend the EASSS in Durham, UK. Together they give a course on "Modal Logics for Multi Agent Systems". -EASSS Homepage-

Oral Exams Prof. Dix

Oral Exams Prof. Dix Prof. Dix offers oral exams on the following dates: 6th July 2007, 13th July 2007 an 24th August 2007. Please contact our secretary Anita Seiz-Uhlig.