Forschung

Forschung

Hier finden Sie Informationen zur Forschung am Institut für Informatik.

Studium und Lehre

Studium und Lehre

Alle wichtigen Informationen zu unseren Studiengängen.

Über uns

Über uns

Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
 

Willkommen auf der Webseite des Instituts für Informatik

Studium und Lehre

Studium

Alles über das Studium bei uns.

Schüler*innen

Schüler*innen

Aktuelle Informationen für Schülerinnen und Schüler

News

Aktuelles

Alle News in der Übersicht.

Neuigkeiten

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.