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

IFIP 研讨会 (PROCOMET98)：1998 年 6 月 18-22 日，纽约长岛

• 批准号: 9714755
• 负责人: David Gries
• 金额: --
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-05-01 至 1998-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9714755&HistoricalAwards=false
• 关键词: IFIP; Workshop; PROCOMET; 98; June

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. ***

1998年6月8日至12日在纽约长岛举行了一次关于方案编制概念和方法的国际工作会议。会议由第2.2工作组组织（编程概念的形式化描述）和WG2.3（程序编制方法）（国际信息处理联合会），致力于促进国际交流与合作的研究课题，如规范和验证的顺序，面向对象和并发系统;逻辑和代数基础的规范和验证;以及支持核查工作的软件工具。预计将有来自一些国家的多达100名研究人员参加。 ***