3
Dec
11月19日至22日，2020 CCF中国软件大会（即，第19届全国软件与应用学术会议（NASAC2020）与第5届全国形式化方法与应用会议（FMAC2020））在重庆胜利召开。会议由中国计...[详细]
24
Feb
刘关俊教授（独立）撰写的学术论文“PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets“被the 41st International Conference ...[详细]
