Neuigkeiten
Best Paper Award @ MEMICS 2010
Auf der MEMICS 2010 wurde das Papier Test-Case Generation for Embedded Binary Code Using Abstract Interpretation von Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger und Stefan Kowalewski mit einem Best Paper Award ausgezeichnet. In dem Papier werden die ersten Ergebnisse beschrieben, die im Rahmen des CEVTES Projekts zur automatischen Testfallgenerierung erarbeitet wurden. Bei CEVTES handelt es sich um eine Kooperation zwischen dem Lehrstuhl Informatik 11, der Technischen Universität Wien und dem Technikum Wien.
Neue Auszubildende
Am 01.09.2010 begrüßen wir zwei neue Auszubildende hier am Lehrstuhl. Die beiden Auszubildenden werden für den Beruf des Mathematisch-technischen Softwareentwicklers sowie des Elektronikers für Geräte und Systeme während der nächsten 3 bzw. 3,5 Jahre ausgebildet. Die Ausbildung findet in enger Zusammenarbeit mit dem Rechenzentrum sowie dem Berufsausbildungszentrum der RWTH statt.
Sommerkolloquium am I11
Das Sommerkolloquium unseres Lehrstuhls findet vom 07.09.11 bis 09.09.11 in Schmidt am Rursee statt. Die wissenschaftlichen Mitarbeiter präsentieren und diskutieren dort die aktuellen Forschungsergebnisse. Ein weiterer „gewichtiger“ Punkt auf der Agenda ist die Besprechung der Inhalte und Strategien im Bereich Lehre. Wir freuen uns auf eine erfolgreiche Veranstaltung.