Academic Service
Professional activities and academic service roles.
Editorial Boards
- Journal of Automated Reasoning
- Formal Aspects of Computing
- Journal of Logical and Algebraic Methods in Programming
- Research Directions: Cyber-Physical Systems (till Sept. 2025)
- Journal of Software
- Chinese Journal of Electronics
- Computer Research and Development
- Science and Technology Foresight
Steering Committees
Program Committees
- 2027: TACAS (PC co-chair)
- 2026: FM, TACAS, HSCC, ICCPS, FMICS, TASE, SFPVV, QEST+FORMATS
- 2025: HSCC, ICCPS, ICFEM (PC co-chair), SETTA (general chair), iFM
- 2024: CAV, FM, ICCPS, HSCC, ADHS, FASE, TASE, ABZ, CICM, RTCSA, FCJ
- 2023: RTSS, CAV, HSCC, ICCPS, TACAS, FM, ABZ, TASE, iFM, ICFEM
- 2022: RTSS, HSCC, ICCPS, FORMATS, iFM, TASE, ICFEM, LCA
- 2021: FM (co-chair), HSCC, ADHS, EMSOFT, TASE
- 2020: CAV, RTSS, HSCC, EMSOFT, TTSS, TASE, ICFEM, iFM, SNR
- 2019: RTSS, EMSOFT, ICFEM, TASE, TAMC, ICESS (general co-chair), iFM, UTP, MEMOCODE (general co-chair)
- 2018: QEST, SNR, ADHS, ATVA, MEMOCODE (general co-chair), FMAC
- 2017: TAMC, SETTA, ICTAC, ICECCS, FMAC
- 2016: HSCC, UTP, SETTA (PC co-chair), ICTAC, VSTTE, ATVA, FACS
- 2015: HSCC, ATVA, TASE, ICECCS, WPHS
- 2014: HSCC, TAMC, ICTAC, UTP, FACS, TASE, ICECCS, EASLLC, FSFMA, HTSS
- 2013: ICTAC, ICECCS, HTSS, FACS, FSFMA, RIVF, COMPUTATION TOOLS
- 2012: ICECCS, ICTAC, RIVF, TIMES, TAMC, TASE, UTP, COMPUTATION TOOLS
- 2011: KSE, ICFEM, TIMES, COMPUTATION TOOLS
- 2010: ICTAC, KSE, FACS, UTP
- 2009: ICTAC, KSE, FACS
- 2008: ICTAC, HTSS
- 2007: ICTAC, HTSS
- 2006: ICECCS