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

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

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.