[[ -- Apologies for multiple copies of this message -- ]] ============================================================ C A L L F O R P A P E R S 4th International Workshop on Rewriting Logic and its Applications (WRLA2002) Pisa, Italy 19-21 September, 2002 ------------------------------------------------------------ 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: o foundations, models, and extensions of RL; o languages based on RL; o RL as a logical framework; o applications of RL to: - object-oriented systems; - concurrent and/or parallel systems; - interactive, distributed, open ended and mobile systems; - specification of languages and systems; o rewriting approaches to behavioral specifications; o 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. Previous workshops of the same series have been organized in Asilomar, Pont-a-Mousson and Kanazawa. The proceedings appeared as ENTCS Vols. 4, 15 and 36. ------------------------------------------------------------ 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 Committee David Basin University of Freiburg Jose Fiadeiro University of Lisbon Kokichi Futatsugi JAIST, Tatsunokuchi Fabio Gadducci University of Pisa Claude Kirchner INRIA Lorraine & LORIA, Nancy Narciso Marti-Oliet Univ. Complutense, Madrid Jose Meseguer U. of Illinois at Urbana-Champaign Ugo Montanari (Chair) University of Pisa Pierre-Etienne Moreau INRIA Lorraine & LORIA, Nancy Peter Mosses BRICS & Univ. of Aarhus Carolyn Talcott Stanford University, Palo Alto Martin Wirsing LMU, Muenchen ------------------------------------------------------------ Submissions Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Papers (of at most 12 pages) should be submitted electronically. The proceedings will be available at the time of the workshop and will be published in the ENTCS series. ------------------------------------------------------------ Important Dates May 24, 2002 Deadline for submission July 24, 2002 Notification of acceptance August 20, 2002 Final version in electronic form September 19-21, 2002 Workshop in Pisa ------------------------------------------------------------ Organizing Committee Roberto Bruni, Fabio Gadducci (Chair) and Ugo Montanari (University of Pisa). ------------------------------------------------------------ Chair for Tutorials and System Demonstrations Narciso Marti-Oliet, Univ. Complutense, Madrid. ------------------------------------------------------------ For more information: Home page: http://www.di.unipi.it/wrla2002 Contact e-mail: wrla2002@di.unipi.it ============================================================