News

Barbara Hammer visits RU Groningen

Barbara Hammer visits RU Groningen Barbara Hammer visits RU Groningen where she acts as a member of the PhD committee of Anarta Ghosh. Further, she gives a talk on Recent advances in clustering in the Colloquium of Computer Sciences of RU Groningen.

Group Meeting, Talk on Modular Interpreted Systems

Group Meeting, Talk on Modular Interpreted Systems Person/Speaker: Wojtek Jamroga

Place: Am Regenbogen 15We propose a new class of representations that can be used for modeling multi-agent systems (and model checking their temporal, strategic and epistemic properties). Our representations borrow the main ideas from interpreted systems of Fagin, Halpern et al.; however, they are also inspired by the modularity of concurrent programs. We show (formally) that modular interpreted systems are general, and argue (informally) that they are more grounded, modular and compact than the previous formalisms. Finally, I will mention a surprising complexity result for model checking strategic logics in these new structures.

Hiwis für den neuen Lehrstuhl Software Systems Engineering gesucht!!

Am neuen Lehrstuhl für Software Systems Engineering (Prof. Rausch) des Institut für Informatik werden für verschiedene Aufgabengebiete HiWis benötigt. Dabei werden sowohl Programmierarbeiten wie auch konzeptionelle Arbeiten gefordert. Die Integration in die Lehr- und Forschungsarbeit am Lehrstuhl ist erwünscht:

Bereich Softwarearchitektur:
(siehe: http://agrausch.informatik.uni-kl.de/publikationen/repository/workshops/work015/DIoDE.pdf)
- Entwicklung von dynamisch adaptiven Software- und Assistenzsystemen
- Erweiterung einer vorhandenen Middleware

Bereich Modellierung:
(siehe: http://www.cocome.org/)
- UML-basierte Modellierung von Softwaresystemen
- Entwicklung von Modellierungswerkzeugen

Bereich Vorgehensmodelle:
(siehe:

Dr. Marina De Vos visiting us

Dr. Marina De Vos visiting us Dr. Marina De Vos from Dept. Computer Science, University of Bath, UK will visit us for two days. -Link-

IfI Kolloquium

IfI Kolloquium Person/Speaker: Dr. Marina De Vos

Place: Am Regenbogen 15, R210We continue our IfI Kolloquia series in this year by the next invited talk next week, Monday, 15.01.2007. Dr. Marina De Vos from Dept. Computer Science, University of Bath, UK will speak on TOAST: Applying Answer SetProgramming to Superoptimisation The talk will take place in R210, in the small IfI building Am Regenbogen 15, Clausthal at 14:00. Please find further details and the abstract of the talk in the attached flyer. -Flyer-

Group Meeting

Group Meeting Today we will have a group meeting to discuss our plans and to set our aims for 2007.

SpringerLink - Journal Issue

SpringerLink - Journal Issue A special issue of "Annals of Mathematics and Artificial Intelligence" on "Answer Set Programming" just appeared (edited by Gerd Brewka and Jürgen Dix). -Link-

Achtung: Hiwi's ohne abgegebene gültige Lohnstuerkarte 2007 erhalten KEIN Geld!!

Ohne Lohnsteuerkarte kein Geld!

An alle Hiwi's, die noch keine Lohnsteuerkarte für 2007 abgegeben haben:

 

Ihr bekommt nur Geld nach Lohnsteuerklasse 6 (also viel weniger), wenn die Karte nicht im Hauptgebäude (Adolph-Roemer-Straße 2a) vorliegt

 

- also: Karte umgehend bei Frau Becker im Hauptgebäude, 3. Etage,  abgeben!!!

gez. Kammann