Professional Activities


·         PC member for SAC'18, ICA3PP’17, CCISP’17, ICALP’16, ICCCI’16, YR-SETTA’15, TASE’15, QAPL’15, QAPL'14, ESSS’14, HAS’14, HASE’08

 

·         Referee for Formal methods in System Design, 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, SAC'16, LATA'16, QEST'16, CONCUR'16, CSL'16, SAC'17, ICALP'17, CSL'17, etc