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

IfI-Kolloquium am 24.05.2011, 14 Uhr s.t. in Raum 106

CIG on the Brocken

Michael and Nils in Asia

Michael and Nils are in Taipei (Taiwan) to attend AAMAS 2011 and the associated workshops.

Michael presents his paper "Abstraction for Model Checking Modular Interpreted Systems over ATL" (with Peter Lohmann) at ProMAS. On top of that Michael gives an announcement talk for the Multi-Agent Programming Contest. Finally he presents his poster "Abstraction for Model Checking Modular Interpreted Systems over ATL" (with Peter Lohmann) at AAMAS.

Nils presents two papers at AAMAS: "Taming the complexity of linear time BDI logics" (with Koen V. Hindriks) and "Normative Mechanism Design" (extended abstract with Mehdi Dastani).

After Taipei both visit Edith Elkind in Singapur to talk more about cooporation and give an invided talk.

Einladung NFF-Vortragsreihe 'Mobilität der Zukunft' am 10.05.2011

Sehr geehrtes IfI und liebe Studierenden,

wir freuen uns Ihnen mitteilen zu können, dass im Rahmen der
NFF-Vortragsreihe zur Mobilität der Zukunft, der nächste Vortrag
an der TU Clausthal stattfindet.

Am 10. Mai 2011 um 18 Uhr wird Herr Dr. Rudolf Krebs, Volkswagen
Konzernbeauftragter für Elektrotraktion, zum Thema "Elektromobilität als
Chance" referieren. Die Veranstaltung findet im Audimax der Universität
Clausthal statt.

Näheres finden Sie hier!

Im Anschluss besteht die Möglichkeit, bei Wein und Brot ins Gespräch zu
kommen.

Eine Anmeldung per E-Mail nff@tu-braunschweig.de  ist aufgrund der
begrenzten Anzahl der Plätze unbedingt erforderlich!


-------

Danke

Mit freundlichen Grüßen,
Prof. Dr. Andreas Rausch

Besuchen Sie uns...
... am 09. + 10. Mai 2011 auf der SEE-Konferenz in Frankfurt/Main.
    Weitere Informationen und (Vor-)anmeldung unter
    http://www.see-conf.de/


Informatik ist unser Bier! Überzeugen Sie sich...
--
Prof. Dr. Andreas Rausch
Technische Universität…