Neuigkeiten

Der 4. internationale Systems Software Verification Workshop (SSV 09) wird dieses Jahr von unserem Lehrstuhl veranstaltet und findet vom 22. bis 24. Juni 2009 an der RWTH Aachen im Super C statt. Vorsitzende des Programmkomitees sind Dr. Ralf Huuck (National ICT Australia), Dr. Gerwin Klein (National ICT Australia) und Dr. Bastian Schlich (Lehrstuhl Informatik 11).

Weitere Informationen finden Sie auf der Homepage des Workshops.

Am 16.06.2009 öffnet der Lehrstuhl Informatik 11 seine Pforten für Besucher. Alle Studierenden der Informatik, Elektrotechnik und natürlich auch aller anderen Fachrichtungen sind herzlich eingeladen, sich einen Überblick über die Forschung an unserem Institut zu verschaffen. Für das Leibliche Wohl ist bestens gesorgt!

Der Abend der offenen Tür beginnt um 17:30 Uhr in den Räumen des Lehrstuhls (Informatikzentrum, Ahornstr. 55, Altbau, 3. Etage).

Zur offiziellen Ankündigungseite.

Herr Professor Kowalewski wird im Sommersemester 2008 (April-Juni 2008) aufgrund eines Forschungsfreisemesters nicht am Institut sein.

Bitte beachten Sie, dass während dieser Zeit keine Sprechstundentermine und auch keine Abnahmen mündlicher Prüfungen angeboten werden können. Zudem wird im Sommersemester 2008 lediglich die Vorlesung „Formale Methoden für eingebettete Systeme“ angeboten. Alle übrigen Vorlesungen unseres Lehrstuhls fallen aus. Für Fragen steht Ihnen das Sekretariat gerne zur Verfügung.