FM 2026
Mon 18 - Fri 22 May 2026 Tokyo, Japan
FM 2026 (series) / Special Track on TAP (Tests and Proofs) /

TAP Track Program Commitee FM TAP Track

Achim D. Brucker

Achim D. Brucker TAP Track Co-Chair

University of Exeter

United Kingdom

Marie-Christine Jakobs

Marie-Christine Jakobs TAP Track Co-Chair

LMU Munich, Germany

Germany