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

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

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