Auch dieses Sommersemester bieten wir wieder ein Seminar an. Es steht diesmal unter dem Thema "Formale Methoden für Software-Sicherheit" und beinhaltet aktuelle und spannende Themen aus dem Bereich der Software-Verifikation. Das Seminar findet als Blockveranstaltung am Semesterende statt.

Bernhard Beckert und Vladimir Klebanov sind Mitorganisatoren des Workshops "1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems" (COMPARE). Dieser findet im Rahmen der IJCAR 2012  am 30. Juni 2012 in Manchester, UK statt.

Themen dieses Workshops befassen sich mit der komparativen Evaluation von Reasoning Systemen.

Weitere Informationen

Das FMCO Symposium 2011 findet vom 03. - 05. Oktober 2011 im Natural Science Museum of Turin in Italien statt. Das Ziel des Symposiums ist es, Wissenschaftler und Fachleute aus den Gebieten der Softwareentwicklung und der formalen Methoden zusammenzubringen, um Konzepte für die Wiederverwendbarkeit und Modifizierbarkeit in komponentenbasierten und objekt-orientierten Systemen zu diskutieren. Der Fokus liegt dieses Jahr auf Software für Multikern-Systeme, Cloud Computing sowie adaptierbare und sich entwickelnde Software.

Der Workshop "Verlässliche Software für kritische Infrastrukturen (DSCI)" findet im Rahmen der 41. Jahrestagung der GI am 6. Oktober 2011 in Berlin statt.

Thema dieses Workshops sind Methoden, um die Zuverlässigkeit der Software sicherzustellen, die in kritischen Infrastrukturen zum Einsatz kommt. Er soll ein Diskussionsforum bieten und Forscher und Entwickler aus allen relevanten Bereichen zusammenbringen.

Die 2. Internationale Konferenz für Formale Verifikation von objektorientierter Software (FoVeOOS 2011) findet vom 5.10.2011 bis zum 7.10.2011 in Turin (Italien) statt.

Das Ziel dieser Konferenz ist es, die Zusammenarbeit zwischen Wissenschaftlern auf dem Gebiet der formalen Verifikation von objektorientierter Software zu fördern.

Dieses 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.

Das 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.