形式化方法与安全性国际学术会议(IWFMS04)

一、概况
   1．形式化方法与安全性国际学术研会讨International Workshop on FORMAL METHODS and SECURITY(IWFMS’04)，于2004年5月17至20日在南京举行。该会议由南京大学软件新技术国家重点实验室、计算机科学与技术系、法国国家科学研究中心“Preuves, Programmes et Systèmes”实验室和巴黎第七大学共同发起。
   此次学术会议旨在研讨形式化工具在设计和实现程序设计语言及系统中的重要性，包括传统顺序系统和并发系统，将为世界范围内的软件理论研究工作者提供一次良好的交流和学习的机会。会议主题包括：类型论（type theory）、程序设计语言（programming languages）、程序验证（program certification）、模型校验（model-checking）和广泛领域计算（wide-area computing,）等。大会主席为法国巴黎第七大学的Pierre-Louis CURIEN (CNRS/Université Paris 7) 教授，会议程序委员会成员有：Guy COUSINEAU (Université Paris 7) 、Stéphane GRUMBACH (INRIA) 、 LŰ Jian (State Key Laboratory, Nanjing University) 、SONG Fangmin (Dept. of Computer Science ，Nanjing University, co-chair) 和JIANG Ying (Software Institute, Beijing)。
   5月17日上午举行研讨会开幕式，法国驻中国上海领事馆科技领事Yvon GOUSTY先生、南京大学副校长闵铁军教授、南京大学计算机系主任陈道蓄教授出席，并先后发表了热情洋溢的讲话，祝贺大会取得园满成功，祝贺中法科技与文化交流取得进一步发展。此次会议共有来自法国、美国、丹麦、日本、韩国、意大利及中国(包括澳门)在内的7个国家共30余者代表出席到会。

   2．形式化方法的研究是计算机科学中的一个主流方向，自1960年代提出以来，它一直是研究的热点，尤其近年来美国和欧盟加大对此方向研究的资助。如Esprit计划等。在欧洲的阿里亚娜火箭发射由于程序出错而失败后，专家们重新审视形式化方法，更感到它的重要性。近十年来，形式化方法在理论上取得许多重大成果，当前的趋势是开发形式化方法的实际应用，也提出了形式化方法工业化，在这方面也出现了不少系统，具有较高的理论价值和实用价值。然而实用系统（如核电厂管理系统）的完全形式化是相当难的，还有许多障碍需要克服。
   3．形式化方法在国内外有许多机构中有研究小组，如英国爱丁堡大学、法国巴黎大学、丹麦的BRICS、中国科学院等。本次会议的参加者来自这些机构，在会议中，报告的内容主要有：①形式系统，如π-演算，进程代数等主要工作在于讨论形式系统的特征性质如完全性等，以及讨论不同演算之间的内在关系。②讨论并发理论及其应用，尤其指出各种并发理论之间的关联性，也讨论并发理论对软件工业的指导作用。③报告形式化方法对实用系统的作用，多篇报告论述Mobile System以及实际应用。④偏向纯理论的“域论”研究，报告一些新进展。⑤报告一些Model checking方面的成果。
   4．从会议的报告中可反映出我国在该学科领域的水平是高的，和国际水平接近，有些研究成果具国际水平。但我国在此领域的研究者偏少，国家对此方向研究的资助强度偏小。
   5．本次会议未出版硬拷贝的论文集，以电子稿的形式发布给与会代表。
   6．南京大学与会代表人数5人，论文2篇。
   7．与会我国留学生代表7人。

二、主要收获
   IWFMS’04国际学术会议的与会代表一致反映，本次会议从技术质量和会议组织方面来看均获得了很大成功。来自7个国家和地区的30余名代表参加了会议；邀请国内外著名软件理论专家为程序委员会委员，对提高技术质量起了很大作用。本次会议及时建立了会议主页，因而，不但吸引了众多学者参加会议，而且，保持了通信渠道的畅通。
   主要收获：
   1. 扩大了南京大学计算机软件新技术国家重点实验室、计算机系和南京大学及南京的知名度和影响；会议期间，通过多种渠道，多方位介绍了我们的研究方向、科研成果，得到与会各国代表的关注与好评。特别我校的国际知名度也随之大为提升，召开国际学术会议作为一项具体的合作交流形式，对于推动我校学术国际化进程起着至关重要的作用。
   2. 加强了学术交流，建立了新的科研合作渠道；这次会议为我国和我校软件理论领域研究人员提供了一个良好的国际交流和合作的机会。例如，与美国知名软件理论专家ZHANG Guoqiang达成了来我室作访问学者的意向。
   3. 了解和掌握软件理论领域国际最新发展和动态，通过专家和学者面对面的相互学习、交流研讨，为提升我国和我室这一研究领域的水平有很大推动作用。