Formal Methods in Railway and Automotive Systems

December első napjaiban Braunschweigben rendezték a Formal Methods for Automation and Safety in Railway and Automotive Systems konferenciát. Ezen dr. Pataricza András meghívott előadóként, dr. Majzik István pedig a "Legal Framework and Risk Metrics" szekció elnökeként és a "Model-based Integration Framework for Development and Testing Tool-chains" cikkünk előadójaként vett részt (a cikk szerzői dr. Polgár Balázs, Ráth István és Majzik István).
Pataricza professzor "Towards Open Modular Critical Systems" című előadása a konferencia egyik legmagasabbra értékelt előadása volt.