Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?
Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?
Dann ist die Projektgruppe genau das Richtige für Sie!
Ab dem Wintersemester 2012/2013 bieten die Lehrstühle von Professor Beckert und Professor Beigl eine neue Veranstaltung für Master-Studierende an.
Die Informationsveranstaltung findet am 18.10.2012 um 13:15 Uhr in Raum -102 (Gebäude 50.34) statt.
Weitere Informationen zur ProjektgruppeDas Papier "V. Klebanov, P. Müller, N. Shankar, G. T. Leavens, V. Wüstholz, E. Alkassar, R. Arthan, D. Bronish, R. Chapman, E. Cohen, M. Hillebrand, B. Jacobs, K. R. M. Leino, R. Monahan, F. Piessens, N. Polikarpova, T. Ridge, J. Smans, S. Tobies, T. Tuerk, M. Ulbrich, and B. Weiß. The 1st Verified Software Competition: Experience report. In M. Butler and W. Schulte, editors, Proceedings, 17th International Symposium on Formal Methods (FM), 2011." erhielt auf der FM 2011 den Best Paper Award.
Weitere Informationen
Auch dieses Wintersemester bieten wir wieder ein Seminar an. Es steht diesmal unter dem Thema "Formale Systeme und Methoden" und beinhaltet aktuelle und spannende Themen aus dem Bereich der Software-Verifikation. Das Seminar findet als Blockveranstaltung am Semesterende statt.
Weitere Informationen und AnmeldungDieses Jahr findet das 10. KeY Symposium zusammen mit der ITP 2011 (2nd International conference on Interactive Theorem Proving), vom 26.08.2011 bis zum 27.08.2011 in Nijmegen (Niederlande) statt.
Weitere InformationenAb 1.1.2011 ändert das KIT seine Telefon- und Fax-Nummern. Statt der bisherigen 4-stelligen Durchwahl xxxx verwenden Sie dann bitte die 5-stellige Durchwahl 4xxxx (die letzten Stellen bleiben gleich). Unser Sekretariat ist dann unter Telefon (0721) 608 43985 bzw. Fax (0721) 608 43088 zu erreichen.
In unserem Seminar im Sommersemester 2011 sind noch Plätze frei. Daher findet ein weiterer Einführungstermin am Mittwoch, den 20. April um 13:15 Uhr in SR 131 statt. Die Themenvorschläge sind weiterhin gültig.
Weitere InformationenAuch in diesem Wintersemester bieten wir wieder "Praxis der Software-Entwicklung" an. Wenn Sie Teilnehmer/in sind, nehmen Sie bitte am verbindlichen ersten Gruppentermin am Mittwoch, 3. November um 15:45 Uhr im Raum 211 (Geb. 50.34) teil. Dort wird alles weitere Organisatorische besprochen.
Seite der VeranstaltungDas jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Dieses Treffen bietet allen, die an der Deduktion interessiert sind, die Möglichkeit über ihre Arbeit in informellem Rahmen zu berichten.
Das vom Lehrstuhl Anwendungsorientierte Formale Verifikation organisierte Deduktionstreffen 2010 wird vom 20.-21. September am KIT abgehalten.
Daniel Bruns hat für seine Diplomarbeit "Formal Semantics for the Java Modeling Language" eine Auszeichnung für das "Best Paper" zu den Informatiktagen 2010 der Gesellschaft für Informatik erhalten.
Dr. Ina Schaefer, Chalmers University, Göteborg, ist zu Gast und trägt über ihre Arbeiten zur Verifikation von Software Product Lines vor
(Montag, 20.12.09, 14 Uhr, Raum 211, Gebäude 50.34)
