News

Diplomanden- und Doktorandenseminar am 01.11.2010, 16 Uhr s.t. in Raum 203, Hörsaalgebäude

Mdl. Doktorprüfung von Herrn Dipl.-Wirtsch.-Inf. Thomas Ternité am 05.11.2010, 13 Uhr s.t., T3

„Variability of Development Models“

Die Einladung zur mdl. Doktorprüfung finden Sie hier. Den Abstract können Sie hier lesen.

Diplomanden- und Doktorandenseminar am 03.11.2010, 12 Uhr c.t. in Raum 106

Nils' Viva

Our dear colleague Nils has just defended his PhD-thesis "Modelling and Verifying Abilities of Rational Agents" and passed with honours (summa cum laude). We congratulate wholeheartedly, knowing how much effort he has invested during the last four years. 

Vorlesungsangebot: Computational Intelligence Group

Die Arbeitsgruppe "Computational Intelligence" von Herrn Prof. Dix bietet dieses Semester folgende Veranstaltungen und Seminare an:

Informatik III (B.Sc.)
Modallogiken (M.Sc.)
Pro- und Hauptseminar

Weitere Informationen finden Sie unter: http://cig.in.tu-clausthal.de

Lehrangebote der Arbeitsgruppe "Grundlagen der Informatik"

Die Arbeitsgruppe "Grundlagen der Informatik" bietet im Wintersemester folgende Veranstaltungen an:

- MBSE - Modellbasierte Softwareentwicklung

- Fortgeschrittenenprojekt "Entwurf sicherheitsgerichteter Systeme"

- Seminar "Autonomy and Trust"

 

 

Diplomanden- und Doktorandenseminar am 26.10.2010, 13 Uhr s.t. und 13:30 Uhr in Raum 106

Mdl. Doktorprüfung von Herrn Dipl.-Inf. Nils Bulling am 22.10.2010, 10 Uhr s.t., Seminarraum 210

„Modelling and Verifying Abilities of Rational Agents“

Die Einladung zur mdl. Doktorprüfung finden Sie hier. Den Abstract können Sie hier lesen.