News

16.11.2005

The new official name of the group is now "Software Modeling and Verification", abbreviated "MOVES" (the "S" of "Software" moves to the rear)

4.11.2005

Festkolloquium um 15:00 in AH V anlässlich der Emeritierung Prof.Dr. Klaus Indermark

16.06.2005

Bei der ACM Student Research Competition hat Eric Bodden mit seinem Diplomarbeitsthema über J-LO, den Java Logical Observer in der undergraduate-Kategorie den ersten Platz gewonnen und wurde mit seinem Betreuer Volker Stolz zum ACM Banquet eingeladen, wo die Gewinner bekannt gegeben werden. Außer einer Plakette und Preisgeld gab es auch noch die Gelegenheit, Autogramme der Turing Award-Gewinner Cerf und Kahn zu ergattern. Google-Gründer Larry Page war leider zu schnell wieder weg.[Weitere Bilder der Preisverleihung]

01.12.2004

Prof. Dr. Ir. Joost-Pieter Katoen wird ab dem 01.10.2005 als Nachfolger von Prof. Dr. Indermark den Lehrstuhl übernehmen. Professor Katoen tritt bereits ab heute seine Position an.

Oktober 2004

Martin Keschenau und Eric Bodden belegen in der ACM Student Research Competition 2004 auf OOPSLA2004 den 1. bzw. 3. Platz in der undergraduate division. Herzlichen Glückwunsch!

• Martin Keschenau: Reverse Engineering of UML Specifications from Java Programs (Diplomarbeit am I2)
• Eric Bodden: A Lightweight LTL Runtime Verification Tool for Java (zukünftige Diplomarbeit)

06.09.2004

Bilder von der Lehrstuhlwanderung

09.03.2004

Vortrag von Dipl.-Inform. Klaus Höppner [CAU Kiel] Deklarative Programmentwicklung für Eingebettete Systeme

17.02.2002

Mitschnitt des WDR Westpol-Interviews vom 17.02.2002: Prof. Dr. Indermark zu den gestiegenen Anfängerzahlen im Studienfach Informatik.

20.02.2002

Im Wintersemester 2001/2002 wurde das System CAMPUS zur Veranstaltungsplanung und Hörsaalbuchung an der RWTH Aachen eingeführt, unter anderem mit dem Ziel, das informatikeigene Veranstaltungs- und InformationsSystem (VIS) abzulösen.
Ab heute wird das VIS nicht mehr aktualisiert. Die alten Datenbestände bleiben jedoch zur Dokumentation erhalten.

13.10.2000

Die Bilder vom Fest-Kolloquium anlässlich des 60. Geburtstages von Prof. Dr. Indermark sind hier zu finden.