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

Tristan and Nils in Porto

Tristan and Nils in Porto Tristan and Nils visit the CLIMA workshop in Porto. Tristan gives a talk on "Modeling with Logic Based Petri Nets" and Nils talks about "A Logic for Reasoning about Rational Agents".

Barbara at KI'2007

Barbara at KI'2007Person/Speaker: Barbara HammerBarbara presents a paper at Ki'2007 which takes place from 10.9.-13.9.2007. The paper, coauthored by Barbara and Alex, has been shortlisted for the best conference paper.

Carlos Chesnevar in Clausthal

Carlos Chesnevar in Clausthal Dr. Carlos Chesnevar, the co-leader of our German-Argentinean research project "Modelling Inference and Preferences in Multiagent Systems through Argumentation", visits Clausthal for research on that matter. He will stay for three weeks.-Project page-

Obersemiar

Obersemiar Today Tristan practices his CLIMA-talk. He will speak about "Modeling with Logic Based Petri Nets".