Workshop on Logic, Rewriting, and Concurrency

逻辑、重写和并发研讨会

• 批准号: 1549176
• 负责人: Grigore Rosu
• 金额: $ 1.7万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-09-01 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1549176&HistoricalAwards=false
• 关键词: Workshop; Logic; Rewriting; Concurrency

The goal of the Workshop on Logic, Rewriting, and Concurrency is to provide an interdisciplinary research forum, focused on advancing the foundations of formal methods and reasoning about properties of cyber-physical systems and their safe, secure, and reliable operation in the real world. Such systems are rapidly becoming key component of critical infrastructure, medical systems, and artifacts that affect our daily lives such as smart buildings, wearables, and entertainment systems.This workshop grant will enable students and speakers from many disciplines, from industry and academia, to participate in research discussions at this workshop with leading researchers about new approaches and applications of rewrite-rule systems for composability, symbolic analysis, temporal modeling, and verification of hybrid systems. The workshop will provide an opportunity for students and young researchers to interact with leaders in these important fields. The diverse experience and expertise of the participants coupled with a shared interest in rewriting and formal systems provides an ideal setting to foster new synergies and collaborations to address challenging problems in theory and applications to real world problems.

逻辑，重写和并发性研讨会的目标是提供一个跨学科的研究论坛，重点是推进形式方法的基础和对网络物理系统的属性及其在真实的世界中的安全，可靠和可靠的操作的推理。这些系统正在迅速成为关键基础设施、医疗系统和影响我们日常生活的人工制品（如智能建筑、可穿戴设备和娱乐系统）的关键组成部分。该研讨会资助将使来自工业界和学术界多个学科的学生和演讲者参与研讨会，与领先的研究人员讨论重写规则系统的新方法和应用，混合系统的符号分析、时态建模和验证。讲习班将为学生和青年研究人员提供一个与这些重要领域的领导人互动的机会。参与者的不同经验和专业知识，加上对重写和正式系统的共同兴趣，为促进新的协同作用和合作提供了理想的环境，以解决理论和应用中的挑战性问题，以解决真实的世界问题。