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

ESSLLI

Nils and Wojtek give a course on "Decision Problems and Decision Procedures for Strategic Logics" at the European Summer School in Logic, Language and Information (ESSLLI).

Our friends from Romania leave

Today our two guests from Romania are going back after visiting us for 3 months.
Farewell Michnea and Matei!

promotion school 2011

Über 700 angemeldete Teilnehmer, rund 160 eingereichte Geschäftsmodelle von insgesamt 18 Schulen lautet die erfolgreiche Bilanz des diesjährigen regionalen Schülerwettbewerbs promotion school.

Das Institut für Informatik hat in diesem Jahr den Sonderpreis IT&Technik gestiftet.

Unter der Bildergalerie (http://www.in.tu-clausthal.de/ueber-uns/bildergalerien/?tx_chgallery_pi1[dir]=1&cHash=04e52f8f2b4755704dee28d3f6f1fbea#c4552) finden Sie einige Fotos von der Abschlussveranstaltung.

Regionale Pressestimmen sehen Sie hier und weitere Infos zur Veranstaltung können Sie hier finden.

CIG @IJCAI 

General Chair (together with Georg Gottlob)

Dr. Nils Bulling presents two posters and gives a talk: Alternating Epistemic Mu-Calculus (with Wojtek Jamroga), Comparing Variants of Strategic Ability (with Wojtek Jamroga) and
Verification and Implementation of Normative Behaviours in Multi-Agent Systems (with Mehdi Dastani).

Prof. Dix acts as german representative in the Cost action on Agreement Technologies (meeting from 14-15 July). He also gives an invited talk at the Nonmonotonic Reasoning, Action and Change (NRAC)  Workshop at IJCAI 2011, and is panelist in a Panel on the future of NRAC. He is also General Chair (together with Georg Gottlob) of the RULE-ML Conference from 19-22 July.