IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY

编程概念和方法国际工作会议（PROCOMET '98）于1998年6月8日至12日在纽约长岛举行。会议由IFIP（国际信息处理联合会）WG2.2（编程概念的正式描述）和WG2.3（编程方法）工作组组织，旨在促进在顺序、面向对象和并发系统的规范和验证等研究课题上的国际互动与合作；规范与验证的逻辑和代数基础；以及支持验证工作的软件工具。预计将有来自多个国家的多达100名研究人员参加。＊＊＊

9714755 Gries An international Working Conference on Programming Concepts and Methods (PROCOMET '98) is held in Long Island, New York, on 8-12 June 1998. The conference, organized by working groups WG2.2 (Formal Description of Programming Concepts) and WG2.3 (Programming Methodology) of IFIP (International Federation for Information Processing), serves to foster international interaction and cooperation on research topics such as specification and verification of sequential, object- oriented, and concurrent systems; logical and algebraic foundations of specification and verification; and software tools to support verification efforts. Up to 100 researchers from a number of countries are expected to attend. ***