第2届IEEE&IFIP软件工程理论基础国际研讨会

第2届IEEE&IFIP软件工程理论基础国际研讨会（The 2nd IEEE&IFIP International Symposium on Theoretical Aspects of Software Engineering），于 2008年6月18-20日在南京举行；

该会议由IEEE计算机协会和IFIP主办，本次会议由南京大学软件新技术国家重点实验室、南京大学计算机科学与技术系承办，与会人员主要来自世界各地软件工程领域的研究人员，参加会议人员为80左右，其中外宾约40人。

本次会议主题涉及软件工程领域的所有理论基础方面，主要内容包括需求、规约、测试、验证、工作流、语言和逻辑等。