The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...