Professional Activities
- PC member for ICALP’16, YR-SETTA’15, TASE’15,
QAPL’15, QAPL'14, ESSS’14, HAS’14,HASE’08
- Referee for Journal of Information and
Computation, Science in China (F) , Journal of Information Sciences, Theoretical
Computer Science, Logical Methods in Computer Science, Journal of
Computing, etc
- Referee for ICTAC'04, SEFM'04, ICTAC'05,
TACAS'06, ICALP'06, RTA'06, CONCUR'07, QEST'07, SOS'08, CONCUR'08, FORMATS'08, FSTTCS'08, SOFSEM'09,
CONCUR'09, FORMATS'09, ATVA'09, ICC'09,
TACAS'10, EUNICE'10, QEST'10, CONCUR'10, ISOLA'10, LPAR'10, SOFSEM'11,
LICS'11, ACSD'11, CAV'11, QEST'11, LICS'12, TASE'12, FM'12,
FORMATS'12, LICS'13,
ICALP'13, GandALF'13, ICTAC’13, SOFSEM’14, SAC’14, FoSSaCS’14, CONCUR’14,
CONCUR’15, LICS’15,
etc