由上海大学、澳门联合国大学国际软件技术研究所和国家自然科学基金委共同主办并由上海大学承办的第四届形式工程方法国际会议(4th International Conference on Formal Engineering Methods ICFEM 2002)，于2002年10月21日-25日在上海宾馆举行。

    ICFEM 是关于软件形式方法和软件工程研究领域的一个重要的系列国际会议，在相关领域的学术界享有较高的声誉。本次会议收到国内外学术论文108篇，录用发表57篇。会议论文集由国际著名的Springer出版社出版。

    会议主题包括软件形式方法和其他方法的集成、形式化验证、形式规格说明的确认、基于规格说明的测试、规格说明的演化与求精、形式方法的工具与环境、软件规格说明技术与语言、形式方法的应用、基于形式方法的管理、软件体系结构、组件(Component)工程、需求工程、UML开发方法、模型检查、形式化语义以及与软件形式方法有关的其他论题。

    来自英国、澳大利亚、美国、日本、新加坡、巴西、加拿大、法国、德国、哥伦比亚、芬兰、荷兰、马来西亚、韩国和中国等国家的80名代表参加了会议。会议安排了4个大会学术报告和16个分组报告以及两个学术讲座。

    我校计算机学院的缪淮扣教授担任了本届会议的程序委员会主席。

    上海市科委、教委的有关负责人和上海市计算机学会负责人出席了会议。壮云乾副校长出席了开幕式并致欢迎词。曹家麟副校长在会议期间会见了与会代表。

    会议期间与会代表参观了上海大学新校区。

    会议代表对本届会议的筹办过程、组织和安排非常满意，一致认为这是一次非常成功的国际学术会议。