Workshop on Logic, Rewriting, and 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.