Abschnittsübersicht

    • Alwin Zulehner: Tool Support for Modular Operational Semantics

    In the Theorema seminar (11:00-12:30), Madalina Erascu will give a talk on the synthesis of optimal square root algorithms which may be also interesting for participants of the Formal Methods seminar.