Institut für Informatik

Forschung

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

Studium und Lehre

Alle wichtigen Informationen zu unseren Studiengängen.

Ü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

Alles über das Studium bei uns.

Schüler*innen

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

News

Alle News in der Übersicht.

Neuigkeiten

15.11.2005

IfI Kolloquia Person/Speaker: Diego Borro

Place: T4, Tannenhoehe, CLZDiego Borro, guest of Prof. Zachmann, will speak on "Collision Detection and Haptic Devices in Virtual Reality Environments". -Diego Borro- -flyer-

14.11.2005

CIG meeting Person/Speaker: Wojtek Jamroga

Place: Am Regenbogen 15, CLZDuring our regular CIG meeting Wojtek started to present some results on model checking of ATL formulas for agents with incomplete information and imperfect memory (w.r.t history). A good discussion resulted from this trigger...

10.11.2005

New CIG server Person/Speaker: Peter Novak

Place: cig.in.tu-clausthal.deOur group web server got a new machine, operating system and location. In the case of any problems caused by migration, please contact the webmaster.-http://cig.in.tu-clausthal.de/-

17.10.2005

BNAIC 2005 Person/Speaker: Wojtek Jamroga

Place: Brussel, BelgiumWojtek Jamroga will attend The 17th Belgian-Dutch Conference on Artificial Intelligence and present there a paper by him and Prof. Dix: "Turning Game Models Turn-Based for Model Checking Properties of Agents".-BNAIC 2005-

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern.	13 Monate	HTML	Matomo
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	HTML	Matomo
_pk_ses	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_cvar	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_hsr	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo

Forschung

Studium und Lehre

Über uns

Willkommen auf der Webseite des Instituts für Informatik

Studium

Schüler*innen

Aktuelles

Neuigkeiten

IfI Kolloquia

CIG meeting

New CIG server

BNAIC 2005

Info

Querverweise

Wetter & Webcam

Social Media

Inhalt

Inhalt

Inhalt

Inhalt

Forschung

Studium und Lehre

Über uns

Studium

Schüler*innen

Aktuelles

IfI Kolloquia

CIG meeting

New CIG server

BNAIC 2005