CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995

CONCUR 95 - 第六届并发理论国际会议；

• 批准号: 9529068
• 负责人: Scott Smolka
• 金额: $ 0.25万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1996-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9529068&HistoricalAwards=false
• 关键词: CONCUR; 95; Sixth; International; Conference

This award supported travel expenses for student participants in CONCUR '95 -- the Sixth International Conference on Concurrency Theory, held August 21-24, 1995, in Philadelphia on the campus of the University of Pennsylvania. The purpose of CONCUR '95 was to bring together researchers, developers, and students from academia, industry, and government so that the science of concurrency theories and the technology of their applications can be advanced. The conference spans all areas of semantics, models, logics, and verification techniques for concurrent systems. Particular topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational semantics, programming language semantics, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, model checking, verification tools, and applications. The primary goal of holding CONCUR '95 in the U.S. was to increase participation by American researchers in the area, and to encourage interaction among the various schools, both European and American, that have worked towards formal approaches to concurrency.

该奖项为参加CONCUR '95（第六届并发理论国际会议，1995年8月21日至24日在费城宾夕法尼亚大学校园举行）的学生提供旅费。CONCUR '95的目的是将来自学术界、工业界和政府的研究人员、开发人员和学生聚集在一起，从而促进并发理论的科学及其应用技术的发展。会议涵盖了并发系统的语义、模型、逻辑和验证技术的所有领域。特定的主题包括，但不限于，过程代数，Petri网，真正的并发，共享内存和消息传递形式化，操作和表意语义，编程语言语义，并发逻辑和约束编程，公平性，时间逻辑，组合分析技术，模型检查，验证工具和应用。在美国举办CONCUR '95的主要目标是增加美国研究人员在该领域的参与，并鼓励欧洲和美国的各种学校之间的互动，这些学校致力于正式的并发方法。