AMAST Anniversary Meeting in Iowa City, Iowa

AMAST 周年纪念会议在爱荷华州爱荷华市举行

• 批准号: 9987466
• 负责人: Teodor Rus
• 金额: $ 1万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-08-01 至 2001-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9987466&HistoricalAwards=false
• 关键词: AMAST; Anniversary; Meeting; Iowa; City

CCR-9987466Teodor RusUniversity of IowaAMAST Anniversary Meeting, May 23-27, 2000 in Iowa City, IowaABSTRACT:The 10th anniversary meeting of AMAST is in Iowa City from May 23 to 27, 2000, bringing together researchers who previously agreed to cooperate to create the mathematical framework for the development of software technology. The AMAST goal is the creation of a mathematical methodology for the development of software technology. It is unique among organizations pursuing computing research by the vision of the field it can offer and by the balance it can provide to trends in the field. The meeting celebrates past achievements, looks at current trends in using formal methods for software development, and adapts AMAST goals to the new problems raised by current developments. This project would provide partial support for members of the steering committee, invited speakers, and student attendees.

摘要：2000年5月23日至27日，美国爱荷华州爱荷华市举行了美国爱荷华州大学数学技术联盟（AMAST）十周年纪念会议，将此前同意合作创建软件技术发展数学框架的研究人员聚集在一起。AMAST的目标是为软件技术的开发创造一种数学方法。在从事计算研究的组织中，它是独一无二的，因为它可以提供该领域的视野，并且它可以为该领域的趋势提供平衡。会议庆祝过去的成就，关注使用形式化方法进行软件开发的当前趋势，并使AMAST目标适应当前发展提出的新问题。该项目将为指导委员会成员、受邀演讲者和学生与会者提供部分支持。