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

该奖项支持学生参加CONCUR '95的旅费-第六届并发理论国际会议，于1995年8月21日至24日在费城宾夕法尼亚大学校园举行。 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.