Treffen der FoMSESS-Fachgruppe 2011

Das diesjährige Treffen der Fachgruppe Formale Methoden und Software Engineering für sichere Systeme (FoMSESS) der Gesellschaft für Informatik findet von Mittwoch, den 19. Oktober bis Donnerstag, den 20. Oktober 2011 am Zentrum für interdiszplinäre Forschung (ZiF) der Universität Bielefeld statt.

Es gibt ein paar Bilder vom Treffen:

Organisiert wird das diesjährige Treffen von der Arbeitsgruppe Rechnernetze und Verteilte System der Technischen Fakultät der Universität Bielefeld.