Scholarly article on topic 'Preface'

Preface Academic research paper on "Computer and information sciences"

CC BY-NC-ND
0
0
Share paper
Keywords
{}

Abstract of research paper on Computer and information sciences, author of scientific article — Fabio Gadducci, Ugo Montanari

Abstract The Fourth International Workshop on Rewriting logic and Its Applications (WRLA2002) was held in Pisa, Italy on September 19-21, 2002. Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It has been used for specifying a wide range of systems and languages in various application fields. It also has good properties as a framework for representing logics, and several languages based on RL have been designed and implemented. The aim of the workshop series is to bring together researchers with a common interest in Rewriting Logic. Besides logic, semantics and foundational aspects, the emphasis of the workshop series is upon applications developed in languages tightly related to RL, like CafeOBJ, ELAN and Maude. Research topics covered in the workshop include, but are not limited to: foundations, models, and extensions of RL; languages based on RL; RL as a logical framework; applications of RL to: 1. object-oriented systems; 2. concurrent and/or parallel systems; 3. interactive, distributed, open ended and mobile systems; 4. specification of languages and systems; 5. distributed transactions; 6. secure protocol specifications and verification; rewriting approaches to behavioral specifications; comparisons of RL with existing formalisms having analogous aims. This volume contains the final versions of the papers presented at the workshop. Around 20 papers were submitted, 12 of them were selected after a regular refereeing process. In addition to the presentation of original research results, the program includes 3 invited lectures, 4 tutorials, and 4 system demonstrations. The site of the workshop is reachable at the URL http://www.di.unipi.it/wrla2002/. In particular, the www.di.unipi.it/wrla2002/program.html page of the program allows for the downloading of the material (slides and possibly code) presented during the demos and tutorials. The Program Committee consisted of David Basin (Albert-Ludwigs-Universität Freiburg), José Fiadeiro (Universidade de Lisboa), Kokichi Futatsugi (Japan Advanced Institute of Science and Technology), Fabio Gadducci (Università di Pisa), Claude Kirchner (INRIA Lorraine & LORIA), Narciso Martí-Oliet (Universidad Complutense de Madrid), José Meseguer (University of Illinois at Urbana-Champaign), Ugo Montanari (Università di Pisa; chair), Pierre-Etienne Moreau (INRIA Lorraine & LORIA), Peter Mosses (BRICS & Aarhus Universitet), Carolyn Talcott (Stanford University), Martin Wirsing (Ludwig-Maximilians-Universität München). For their help in reviewing and selecting the submitted papers, we are very grateful to the Program Committee members, as well as to Stefano Bistarelli, Laura Bocchi, Roberto Bruni, Paolo Ciancarini, Horatiu Cirstea, Isabelle Gnaedig, Felix Klaedtke, Alexander Knapp, Piotr Kosiuczenko, Marta Kwiatkowska, Kim Larsen, Fabio Martinelli, Stephan Merz, Marino Miculan, Masaki Nakamura, Kazuhiro Ogata, Nguyen Quang Huy. We are also indebted to Roberto Bruni, for his help on organizational matters and the maintenance of the web pages; to Narciso Martí-Oliet, for chairing the section on Tutorials and System Demonstrations; and to Mike Mislove, Managing Editor of the ENTCS series, for his assistance with the use of the ENTCS style files. Thanks are also due to the University of Pisa, for its support in the organization of the workshop; and to SEU (Servizio Editoriale Universitario), for its help in preparing this volume. The most important results of any workshop should be the fostering and establishing of collaborations, as well as the sharing of techniques and their cross-fertilization. We hope the meeting helped participants to have a panoramic view of the current status of RL, of most recent results carried out worldwide, and of the future research directions that lies ahead of us. Pisa, 16 September 2003 Fabio Gadducci & Ugo Montanari

Academic research paper on topic "Preface"

Available online atwww.sciencedirect.com

Electronic Notes in Theoretical Computer Science

ELSEVIER Electronic Notes in Theoretical Computer Science

www.elsevier.com/locate/entcs

Preface

Volume 71

Fabio Gadducci andUgo Montanari

Abstract

The Fourth International Workshop on Rewriting logic and Its Applications (WRLA2002) was held in Pisa, Italy on September 19-21, 2002.

Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It has been used for specifying a wide range of systems and languages in various application fields. It also has good properties as a framework for representing logics, and several languages based on RL have been designed and implemented.

The aim of the workshop series is to bring together researchers with a common interest in Rewriting Logic. Besides logic, semantics and foundational aspects, the emphasis of the workshop series is upon applications developed in languages tightly related to RL, like CafeOBJ, ELAN and Maude.

Research topics covered in the workshop include, but are not limited to:

foundations, models, and extensions of RL;

languages based on RL;

RL as a logical framework;

applications of RL to:

1. object-oriented systems;

2. concurrent and/or parallel systems;

3. interactive, distributed, open ended and mobile systems;

4. specification of languages and systems;

5. distributed transactions;

6. secure protocol specifications and verification;

rewriting approaches to behavioral specifications;

comparisons of RL with existing formalisms having analogous aims.

This volume contains the final versions of the papers presented at the workshop. Around 20 papers were submitted, 12 of them were selected after a regular refereeing process. In addition to the presentation of original research results, the program includes 3 invited lectures, 4 tutorials, and 4 system demonstrations.

The site of the workshop is reachable at the URL http://www.di.unipi.it/wrla2002/. In particular, the www.di.unipi.it/wrla2002/program.html page of the program allows for the downloading of the material (slides and possibly code) presented during the demos and tutorials.

The Program Committee consisted of

David Basin

1571-0661/$ - see front matter © 10.1016/S1571-0661(05)82525-3

Volume • Number

(Albert-Ludwigs-Universitat Freiburg), Jose Fiadeiro (Universidade de Lisboa), Kokichi Futatsugi

(Japan Advanced Institute of Science and Technology),

Fabio Gadducci

(Universita di Pisa),

Claude Kirchner

(INRIA Lorraine & LORIA),

Narciso Marti-Oliet

(Universidad Complutense de Madrid), Jose Meseguer

(University of Illinois at Urbana-Champaign),

Ugo Montanari

(Universita di Pisa; chair),

Pierre-Etienne Moreau

(INRIA Lorraine & LORIA),

Peter Mosses

(BRICS & Aarhus Universitet), Carolyn Talcott (Stanford University), Martin Wirsing

(Ludwig-Maximilians-Universitat Miinchen).

For their help in reviewing and selecting the submitted papers, we are very grateful to the Program Committee members, as well as to Stefano Bistarelli, Laura Bocchi, Roberto Bruni, Paolo Ciancarini, Horatiu Cirstea, Isabelle Gnaedig, Felix Klaedtke, Alexander Knapp, Piotr Ko-siuczenko, Marta Kwiatkowska, Kim Larsen, Fabio Martinelli, Stephan Merz, Marino Miculan, Masaki Nakamura, Kazuhiro Ogata, Nguyen Quang Huy.

We are also indebted to Roberto Bruni, for his help on organizational matters and the maintenance of the web pages; to Narciso Marti-Oliet, for chairing the section on Tutorials and System Demonstrations; and to Mike Mislove, Managing Editor of the ENTCS series, for his assistance with the use of the ENTCS style files. Thanks are also due to the University of Pisa, for its support in the organization of the workshop; and to SEU (Servizio Editoriale Universitario), for its help in preparing this volume.

The most important results of any workshop should be the fostering and establishing of collaborations, as well as the sharing of techniques and their cross-fertilization. We hope the meeting helped participants to have a panoramic view of the current status of RL, of most recent results carried out worldwide, and of the future research directions that lies ahead of us. Pisa, 16 September 2003 Fabio Gadducci & Ugo Montanari