Service

Program Committee

• 2027: LICS 2027
• 2026: Highlights 2026, ATVA 2026, STACS 2026
• 2025: ATVA 2025

Organizing Committee

Autobóz Invitational Research Workshop 2025, co-organizer

Reviewer

• 2026: LICS 2026, CONCUR 2026, FoSSaCS 2026
• 2025: MFCS 2025, ICALP 2025
• 2024: LICS 2024, CONCUR 2024
• 2023: CONCUR 2023, MFCS 2023, FoSSaCS 2023, TACAS 2023, Petri Nets 2023
• 2022: FoSSaCS 2022, TACAS 2022, Petri Nets 2022, CONCUR 2022
• 2021: Petri Nets 2021, CAV 2021, ATVA 2021
• 2020: ATVA 2020, ICALP 2020