Research meeting of the Dependable Systems group.

For further details and schedule see the Wiki page at http://www.mi.fu-berlin.de/w/AGDepSys/WebHome