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.