News

Obersemiar

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

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.

CarRing II/X-by-Wire Projekt

IFI hat eines der 20 innovativsten Projekte in Niedersachsen

Das CarRing II/X-by-Wire Projekt des Instituts für informatik wurde von der Innovation Niedersachsen, einer Einrichtung des Landes, zu einer der 20 innovativsten Forschungsprojekte in Niedersachsen gewählt. In einer Boschüre dieser Einrichtung werden die 20 Top-Innovationen aus Niedersachsen präsentiert. Neben Projekten von Firmen und namhaften Forschungsinstitutionen wie der DLR, der TU Braunschweig und der Uni Hannover hat auch die TU Clausthal ihren Platz mit einem Projekt zur Lenktechnik für die nächste Automobilgeneration gefunden. Das Projekt wird am Lehrstuhl für Technische Informatik und Rechnersysteme (Prof. Richter) durchgeführt. Die Zielgruppe der Broschüre sollen Entscheidungsträger aus Politik, Forschung und Wirtschaft sein.

 

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.

Klausurergebnis Wirtschaftsinformatik 1

Das Ergebnis der Klausur "Wirtschaftsinformatik 1" vom 26.07.2007 finden Sie hier als Download (.pdf) oder als Aushang am Institut für Informatik.

Die Klausureinsicht findet statt am: Mi 12.9. von 13:00-14:30 in Raum 109, Institut für Informatik.

ESSLLI

ESSLLI Jürgen, Nils and Wojtek are in Ireland visiting the 19th European Summer School in Logic, Language and Information (ESSLLI). Jürgen and Wojtek give an advanced course on "Modeling the Dynamics of Knowledge. Two Traditions: Logic Programming vs. Modal Logic".-ESSLI Homepage-