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

9714755 GRIES方案编制概念和方法国际工作会议(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. ***