Saturday
AIMS AND SCOPE
Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.
The topics of the workshop comprise, but are not limited to,
* foundations and models of RL;
* languages based on RL, including implementation issues;
* RL as a logical framework;
* RL as a semantic framework, including applications of RL to
- object-oriented systems,
- concurrent and/or parallel systems,
- interactive, distributed, open ended and mobile systems,
- specification of languages and systems;
* formalisms related to RL, including
- real-time and probabilistic extensions of RL,
- tile logic,
- rewriting approaches to behavioral specifications;
* verification techniques for RL specifications, including
- equational and coherence methods, and
- verification of properties expressed in first-order, higher-order,
modal and temporal logics;
* comparisons of RL with existing formalisms having analogous aims;
* application of RL to specification and analysis of
- distributed systems,
- physical systems.