Second International Conference on Algebraic Methodology and Software Technology (AMAST) May 22-24, 1991, Iowa City, Iowa

第二届国际代数方法和软件技术会议 (AMAST) 1991 年 5 月 22-24 日，爱荷华州爱荷华市

• 批准号: 9014162
• 负责人: Teodor Rus
• 金额: $ 2万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-10-01 至 1992-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9014162&HistoricalAwards=false
• 关键词: Second; International; Conference; Algebraic; Methodology

The goal of the second edition of the AMAST conference is to consolidate the trend created by the international dialogue during the first edition of the AMAST making a new step toward transforming algebraic methodology into software technology. The plan is to provide a forum for algebraists, computer scientists, and software developers who are capable of tracing the lines of further development in computer technology based on algebraic methodology and of demonstrating the power of the algebraic methodology by their software products.

第二届AMAST会议的目标是 巩固国际对话在2010年期间创造的趋势， AMAST的第一版朝着转变迈出了新的一步 代数方法学引入软件技术。 计划是 为代数学家、计算机科学家和软件提供一个论坛 有能力追踪进一步发展路线的开发商 在计算机技术的基础上代数方法和 通过他们的软件展示了代数方法的威力 产品.