Arnd Hartmanns

Service

Chair

• TACAS 2028 program committee co-chair
• SPIN 2026 program committee co-chair
• RRRR 2024, 2023, and 2022 workshop co-organiser and program chair
• FormaliSE 2022 program committee co-chair

I previously (co-)chaired the artifact evaluation committees of FM 2024, FORMATS 2023, QEST 2022, QEST 2021, TACAS 2020, and TACAS 2018.

Member

• FormaliSE 2027 program committee member
• ICTAC 2026 program committee member
• QEST+FORMATS 2026 program committee member
• TACAS 2026 program committee member

I was previously a member of the program committees for QEST-FORMATS 2025; for ICSOB, MARS, and QEST-FORMATS 2024; for FormaliSE, QEST, and SPIN, 2023; for FORMATS and FORTE 2022; for FORMATS, SNR, and SPIN 2021; for FORMATS, QEST, and SBMF 2020; for QEST and SETTA 2019; for FORTE 2018; and for ACSD 2017.

Other

Founding director of The Weissbord Institute.