WRLA2002

4th International Workshop on Rewriting Logic and its Applications

Pisa, Italy, 19-21 September, 2002

Home page: http://www.di.unipi.it/wrla2002

[ aims | CfP | committees | dates | location | program | accommodation | travel ]

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 framework for representing logics. Several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude, etc.) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications.

The topics of 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:
  • object-oriented systems;
  • concurrent and/or parallel systems;
  • interactive, distributed, open ended and mobile systems;
  • specification of languages and systems;
• rewriting approaches to behavioral specifications;
• comparisons of RL with existing formalisms having analogous aims.

In addition to the presentations of research results, the program will include tutorials and invited presentations, system demonstrations and panel discussions on specific research topics.

Invited Speakers:
Grit Denker (Computer Science Laboratory, SRI International): Modeling secure group communication protocols using multiset term rewriting
Kohei Honda (Department of Computer Science, Queen Mary & Westfield College): The pi-calculus with types: a tool for representation
Luigi Liquori (INRIA Lorraine & LORIA, Nancy): Rewriting calculi with types: a survey

Tutorials:
José Meseguer (University of Illinois at Urbana-Champaign, USA): Rewriting logic revisited
Salvador Lucas (Universidad Politecnica de Valencia, Spain): Context-sensitive rewriting techniques for programs with strategy annotations
Mark-Oliver Stehr (Universitat Hamburg, Germany): Explicit substitutions and the open calculus of constructions
Ugo Montanari (Università di Pisa, Italy): Tile logic: foundations and applications

Previous workshops of the same series have been organized in Asilomar (1996), Pont-a-Mousson (1998) and Kanazawa (2000). The proceedings appeared as Electronic Notes in Theoretical Computer Science Vols. 4, 15 and 36.

Call for Papers

WRLA2002 call for papers is available in [ text | postscript | PDF | dvi ] format.

Committees

Program Committee			Organizing Committee
David Basin		University of Freiburg	Roberto Bruni phone: +39 050 2212768
José Fiadeiro		University of Lisbon	Fabio Gadducci (Chair) phone: +39 050 2212766
Kokichi Futatsugi		JAIST, Tatsunokuchi	Ugo Montanari phone: +39 050 2212721
Fabio Gadducci		University of Pisa	bruni@di.unipi.it gadducci@di.unipi.it ugo@di.unipi.it
Claude Kirchner		INRIA Lorraine & LORIA, Nancy
Narciso Martí-Oliet		Universidad Complutense, Madrid	Dipartimento di Informatica Università di Pisa Corso Italia, 40 I-56125 Pisa - ITALIA Fax: +39 050 2212726
Josè Meseguer		University of Illinois at Urbana-Champaign
Ugo Montanari (Chair)		University of Pisa
Pierre-Etienne Moreau		INRIA Lorraine & LORIA, Nancy	Chair for Tutorials and System Demonstrations
Peter Mosses		BRICS & Univ. of Aarhus	Narciso Martí-Oliet phone: +34 91 394 4468 narciso@sip.ucm.es Departamento de Sistemas Informáticos y Programación Universidad Complutense 28040 Madrid - SPAIN Fax: +34 91 394 4654
Carolyn Talcott		Stanford University, Palo Alto
Martin Wirsing		LMU, Muenchen

Important Dates

Location

WRLA2002 will be held in Pisa on 19-21 September, 2002, at the congress center (ex Convento delle Benedettine) of the local bank (Cassa di Risparmio di Pisa).

Program

The complete list of participants is also available.

Accommodation

Due to other congresses which are held simultaneously, housing is a serious matter in Pisa, especially on Saturday night. If you plan to attend WRLA2002, please contact as soon as possible one of the recommended hotels.

Travel Information

Pisa can be easily reached by plane, train and car. You are welcome to visit the travel information page for directions and advices.

Useful links to maps, railways timetable, and airports (Pisa and Florence) are also listed below.