News

IfI-Kolloquium: 10.06.2008, 17 Uhr, Audimax

IfI-Kolloquium: 03.06.2008 um 12:45 und 14 Uhr, T1

Oberseminar

Oberseminar Today we will report on the recent AAMAS conference. And we will welcome Michael.

Einladung an Studenten zum Treffen mit "Ehemaligen"

ViP-Treffen (Veteranen in der Praxis)


Liebe Studenten,

im Rahmen des ViP-Treffens mit ehemaligen Studenten des Instituts für Informatik wird am

Freitag, dem 30. Mai 2008, um 17 Uhr,
im Hörsaalgebäude, T1
 
ein Vortrag gehalten:

Prof. Dr. Andreas Rausch, Lehrstuhl für Software Systems Engineering, TU Clausthal, spricht über das Thema
"Zukünftige SW-Architekturen: adaptive und verlässliche Systeme"                                                                   

Heutige IT-Systeme sind äußerst komplexe, hochgradig vernetzte, aber auch fragile Gebilde. Dabei hängt unsere Gesellschaft inzwischen zu einem großen Teil von der Funktionsfähigkeit dieser IT-Systeme ab. Der Vortrag zeigt auf, welche Herausforderungen sich für IT-Architekturen aus den kommenden Systemgenerationen ableiten lassen. Dabei gilt es insbesondere, mit der IT-Architektur erfolgreich die Brücke zwischen Verlässlichkeit und Adaptivität auf die sich fortlaufend verändernden Bedürfnisse zu schlagen.


Samstag, 31. Mai 2008, 10 – 12…

Diplomanden- und Doktorandenseminar 28.05.08, 15:30 Uhr

VIP-Treffen am 30./31. Mai 2008 - Anmeldung

VIP-Treffen (Veteranen in der Praxis) des Instituts für Informatik 2008

Liebe ViP ("Veteranen in Praxis"),

nach einer langen Pause findet dieses Jahr wieder ein Ehemaligen-Treffen mit den Mitgliedern des Instituts für Informatik statt. Sie erhalten damit Gelegenheit, länger nicht mehr gesehenen Kommilitoninnen und Kommilitonen zu begegnen und mit ihnen Berufserfahrungen auszutauschen. Auch können unsere Studierenden von Ihren Erfahrungen profitieren.

Zum Ablauf:     
Freitag, 30. Mai 2008
15.00 Uhr
Zwangloses Treffen im Institut für Informatik, Julius-Albert-Str. 4

17.00 Uhr
Vortrag von Prof. Dr. Andreas Rausch:
Zukünftige SW-Architekturen: adaptive und verlässliche Systeme
Hörsaalgebäude Tannenhöhe, Raum T1

19.00 Uhr
Gemeinsames Abendessen (ViPs und IfI) in der "Börse" (Clausthal, Schulstraße 47, http://www.boerse-clausthal.de). Ein reichhaltiges Buffet (exkl. Getränke) ist im Kostenbeitrag enthalten. 

Samstag, 31. Mai 2008
10.00 Uhr - 12.00 Uhr   
Treffen mit Studierenden im…

IfI-Kolloquium: The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments, 09.07.2008

New member

New member We welcome our newest member: Michael Köster!