Workshop Description

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;
  • use of RL to provide rigorous support for model-based software engineering;
  • formalisms related to RL, including
    • real-time and probabilistic extensions of RL,
    • rewriting approaches to behavioral specifications,
    • tile logic;
  • 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.

Program and proceedings

The program of the workshop is available here. The official one can be found here, and the detailed one with information on all the ETAPS workshops here.  The proceedings are available both as a single pdf and as individual pdf files.

Invited speakers

  • Saddek Bensalem, Verimag Laboratory, Grenoble, France 
  • Santiago Escobar, Universidad Politécnica de Valencia, Spain
  • Mark Hills, CWI, Amsterdam, The Netherlands
  • Dorel Lucanu & Grigore Rosu, Alexandru Ioan Cuza University, Rumania & University of Illinois at Urbana-Champaign, USA, resp.
  • Martin Wirsing, Ludwig-Maximillian University, Germany

Important Dates

  • Paper submission deadline:
  • December 18th, 2011
  • Author notification:
  • January 24th, 2012
  • Final version in electronic form:
  • February 5th, 2012

    Call For Papers

    Available here.

    Submission

    The final program of the workshop will include regular papers, work-in-progress presentations, and invited presentations to be determined. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. They should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair.

    Papers should not exceed 15 pages.

    All submissions will be evaluated by the Program Committee. All accepted papers will be presented at the workshop and included in the proceedings, which will be published by the organization of ETAPS. Regular papers and invited presentation papers will also be published in a volume in Springer's Lecture Notes in Computer Science (LNCS) series.

    Depending on the number and the quality of the contributions, we will consider the preparation of a special issue in some scientific journal in the field with extended versions of a selection of the papers of the workshop.

    Program Committee

    • Emilie Balland, INRIA Bordeaux - Sud-Ouest, France
    • Artur Boronat, University of Leicester, UK
    • Mark van den Brand, Eindhoven University of Technology, The Netherlands
    • Roberto Bruni, University of Pisa, Italy
    • Manuel Clavel, IMDEA Software & Universidad Complutense de Madrid, Spain
    • Grit Denker, SRI International, USA
    • Francisco Duran (chair), Universidad de Málaga, Spain
    • Steven Eker, SRI International, USA
    • Santiago Escobar, Universidad Politécnica de Valencia, Spain
    • Kokichi Futatsugi, JAIST, Japan
    • Alexander Knapp, Universitat Augsburg, Germany
    • Dorel Lucanu, Alexandru Ioan Cuza University, Rumania
    • Salvador Lucas, Universidad Politecnica de Valencia, Spain
    • Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
    • José Meseguer, University of Illinois at Urbana-Champaign, USA
    • Ugo Montanari, Universita di Pisa, Italy
    • Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy, France
    • Kazuhiro Ogata, JAIST, Japan
    • Peter Ölveczky, University of Oslo, Norway
    • Miguel Palomino, Universidad Complutense de Madrid, Spain
    • Grigore Rosu, University of Illinois at Urbana-Champaign, USA
    • Vlad Rusu, INRIA Lille Nord-Europe, France
    • Carolyn Talcott, SRI International, USA
    • Martin Wirsing, Ludwig-Maximilians-Universität, Germany

    Steering Committee

    • Kokichi Futatsugi, JAIST, Japan
    • Claude Kirchner, INRIA Research Center Bordeaux - Sud-Ouest, France
    • Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
    • José Meseguer, University of Illinois at Urbana-Champaign, USA
    • Ugo Montanari, Universita di Pisa, Italy
    • Grigore Rosu, University of Illinois at Urbana-Champaign, USA
    • Carolyn Talcott, SRI International, USA
    • Martin Wirsing, Ludwig-Maximillian University, Germany