US-Brazil Workshop on Formal Foundations of Software Systems: Tulane University, New Orleans, LA, November 1997

美国-巴西软件系统形式基础研讨会：杜兰大学，路易斯安那州新奥尔良，1997 年 11 月

• 批准号: 9727866
• 负责人: Michael Mislove
• 金额: $ 2.11万
• 依托单位: Tulane University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-08-15 至 1998-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9727866&HistoricalAwards=false
• 关键词: US; Brazil; Workshop; Formal; Foundations

9727866 This project will organize and run a US-Brazil Workshop on Formal Foundations of Software Systems at Tulane University, November 9- 12, 1997. The workshop is a follow up to a similar activity held in Rio de Janeiro, Brazil in May of 1997. The workshop will further the establishment of collaborative research projects between computer scientists in Brazil and their counterparts in the United States. It will be composed of plenary sessions in two broad areas: theory of programming language design and analysis and formal tools for software verification, validation, and refinement. In addition, there will be smaller sessions for the presentation of detailed research interests, as well as interest- group planning sessions for laying out common research goals. There will be approximately twenty participants from each of Brazil and the US, selected by a Program Committee of three individuals from each country on the basis of position papers stating their research interests and aims for collaboration. One outcome of the workshop will be a report to NSF giving the results of an open discussion planned during the workshop focusing on promising areas of potential collaboration and future research, as well as ideas for promoting such collaborations in the future. The workshop is jointly sponsored by CCR and CDA at NSF and by the Brazilian counterpart agency, CNPq. ***

9727866这个项目将组织和运行美国-巴西研讨会的正式基础的软件系统在杜兰大学，1997年11月9日至12日。 这次讲习班是1997年5月在巴西里约热内卢举行的一次类似活动的后续行动。该讲习班将促进巴西计算机科学家与美国同行之间建立合作研究项目。它将由两个广泛领域的全体会议组成：编程语言设计和分析理论以及软件验证，确认和改进的正式工具。此外，还将有较小的会议，用于介绍详细的研究兴趣，以及兴趣小组规划会议，用于制定共同的研究目标。 将有来自巴西和美国的大约20名参与者，由来自每个国家的三名个人组成的计划委员会根据陈述他们的研究兴趣和合作目标的立场文件选出。 研讨会的成果之一将是向NSF提交一份报告，介绍研讨会期间计划进行的公开讨论的结果，重点是潜在合作和未来研究的有希望的领域，以及未来促进此类合作的想法。该讲习班由国家科学基金会的CCR和CDA以及巴西对应机构CNPq联合主办。 ***