Hallo, habe noch eine gebundene Kopie vom Model Checking Skript von
Prof. Katoen über. Kopieren & Binden hat mich um die 13 EUR gekostet,
würde es nun für 5 EUR oder gegen eine "Herrenhandtasche der Marke
Diebels Alt" (gibt's beim Plus) abgeben.

Viele Grüße,
Martin

Like in the years before, we are hosting the I5 Developer's Day as a
student event at Informatik 5 on October 13th. There are still open
slots for talks on self-chosen topics.

Developer's Day is an annual event. It's intention is to present
technologies which either support computer researchers in their daily
work or which might play important roles in future developments.
Developer's Day 2008 is organized by students for students who want to
gain knowledge beyond their regular studies.
You are invited to give a talk on a self-chosen topic with a length of
30-45 minutes including time for discussion.

The official poster contains all necessary information. The first
deadline for topic proposal has been prolonged to 29th of September.

Poster:
http://www-users.rwth-aachen.de/christian.hocken/img/developersday2008.jpg

If you have any further questions, please feel free to send us an e-mail:

developersday@dbis.rwth-aachen.de

Or reply to this topic.

Sincerely,
the Developer's Day 2008 Chairs

Hallo zusammen

meine neue Singlebörse www.date2008.de ist online
date2008.de ist eine private Singlebörse für Singles aus Aachen und
Köln
date 2008.de ist zu 100%% kostenfrei

ich würde mich über ein feedback von euch freuen

lg
oliver

Im Rahmen des Projekts "Smyle", das in Kooperation mit der TU München
und der ENS Cachan (Paris) durchgeführt wird, bietet der Lehrstuhl für
Informatik 2 (Prof. Katoen) Diplomarbeiten für Informatiker im Bereich
"Learning and Synthesis of Distributed Systems" an:

Bei Bedarf oder auf Wunsch sind auch kurze Projektreisen nach München
und Paris möglich.

Mögliche Themen können persönlich besprochen werden.

Ein konkretes Diplomarbeitsthema kann abgerufen werden unter:
http://www-i2.informatik.rwth-aachen.de/i2/fileadmin/user_upload/documents/Carst...

Bei Interesse meldet Euch bitte bei:

Carsten Kern
http://www-i2.informatik.rwth-aachen.de/i2/kern/

Inhalt: Eine große Schwierigkeit im Softwareentwicklungsprozess liegt in
der Designphase, in der Softwareingenieure versuchen, von einer Menge
unvollständiger und manchmal sogar widersprüchlicher Anforderungen, die
üblicherweise in natürlicher Sprache formuliert werden, zu einem
konsistenten Designmodell zu gelangen, auf dem die nachfolgende
Implementierung fußt. Diese Aufgabe ist üblicherweise langwierig und
fehleranfällig, da sie im Regelfall von Hand durchgeführt wird.

Der Lehrstuhl I11 bietet folgende Diplom- / Masterarbeit für
Elektrotechniker oder Informatiker an:

Motivation:
In der modernen Intensivmedizin ist das akute Lungenversagen ARDS (engl.
acute respiratory distress syndrome) eines der problematischsten
Krankheitsbilder. Hier liegt die Sterblichkeit der...

Hallo allerseits,

Du möchtest Dir im Studium kurzfristig etwas dazuverdienen, in einem
interessanten Umfeld arbeiten, Kontakte knüpfen? Du hast Deine
Diplomarbeit abgeschlossen, bist aber vor lauter Stress noch nicht zum
Bewerbung-Schreiben gekommen und möchtest die Zeit bis zum Antritt
Deines Jobs mit einer interessanten Beschäftigung überbrücken? Dann
ist das folgende Angebot genau das richtige für Dich:

Wir, d. h. das Fraunhofer-Institut für Lasertechnik, Aachen und der
Lehrstuhl für Bildverarbeitung, haben folgende Stelle zu besetzen:

HiWi-Stelle (16h – 19h / Woche) oder alternativ eine WiHi-Stelle
(Halbtagsstelle) mit dem Thema: "Entwicklung eines Programms zum
interaktiven 2D-3D-Bildabgleich"

Der Zeitrahmen zur Durchführung ist vorläufig auf 3 – 5 Monate
angesetzt. Weitere Informationen zu dem Aufgabengebiet, den
Anforderungen und Kontaktmöglichkeiten sind zu finden unter:
http://www.lfb.rwth-aachen.de/files/hiwi/INTAKT_HiWi_WiHi.pdf

Interesse geweckt? – Am besten per E-Mail unter der dort angegebenen
Adresse melden und sich kurz vorstellen.

Viele Grüße

The Knowledge-based Systems Group is looking for two student workers for
software development and maintenance within the PLATAS project funded by
the Deutsche Forschungsgemeinschaft (DFG). The aim of the project is to
acquire tractable and practiable yet logically expressive agent systems
by integrating latest development in the fields of action logics and
planning techniques. For this purpose, an existing Prolog-based Golog
framework is to be extended with fast state-of-the-art planners as well
as efficient reasoning techniques for incomplete knowledge bases.

Qualifications
--------------

Ideally, a candidate