[[ -- Apologies for multiple copies of this message -- ]] ============================================================ C A L L F O R P A R T I C I P A T I O N 4th International Workshop on Rewriting Logic and its Applications (WRLA2002) Pisa, Italy 19-21 September, 2002 http://www.di.unipi.it/wrla2002 Contact e-mail: wrla2002@di.unipi.it DEADLINE FOR EARLY REGISTRATION: AUGUST 23, 2002 (http://www.di.unipi.it/wrla2002/registration.html) ------------------------------------------------------------ We cordially invite you to attend WRLA 2002, the 4th Workshop dedicated to Rewriting Logic and its Applications. The aim of the workshop is to bring together researchers with a common interest in Rewriting Logic as a natural model of computation and as an expressive semantic framework for concurrency, parallelism, communication and interaction. 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. In addition to the presentation of 12 research results, the program will include 3 invited lectures, 4 tutorials, and 4 system demonstrations. The proceedings of the meeting will be published in the ENTCS series (vol. 71) and a copy of the (pre)proceedings will be distributed to participants. 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. Invited Speaker: ---------------- Grit Denker (Computer Science Laboratory, SRI International) Kohei Honda (Dept. of Comp. Sci., Queen Mary & Westfield College) Luigi Liquori (INRIA Lorraine & LORIA, Nancy) Tutorials: ---------- Jose' Meseguer (Univ. of Illinois at Urbana-Champaign) "Rewriting logic revisited" Salvador Lucas (Universidad Politecnica de Valencia) "Context-sensitive rewriting techniques for programs with strategy annotations" Mark-Oliver Stehr (Universitat Hamburg) "Explicit substitutions and the open calculus of constructions" Ugo Montanari (Universita' di Pisa) "Tile logic and its applications" Accepted papers: ---------------- "Pathway Logic: Executable Models of Biological Networks" (Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute, Carolyn Talcott) "Tiling Transactions in Rewriting Logic" (Roberto Bruni, Jose Meseguer, Ugo Montanari) "Plan in Maude: Specifying an Active Network Programming Language" (Mark-Oliver Stehr, Carolyn Talcott) "Outermost Ground Termination" (Olivier Fissore, Isabelle Gnaedig, Helene Kirchner) "Correct and Complete (Positive) Strategy Annotations for OBJ" (Maria Alpuente, Santiago Escobar, Salvador Lucas) "An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0" (Prasanna Thati, Koushik Sen, Narciso Marti-Oliet) "A Secret-Sharing Protocol Modelled in Maude" (Dilia Rodriguez) "Conference Reviewing System in Mobile Maude" (Francisco Duran, Alberto Verdejo) "Reflection in Membership Equational Logic, Horn Logic with Equality, and Rewriting Logic" (Manuel Clavel, Jose Meseguer, Miguel Palomino) "Rewriting-Based Verification of Authentication Protocols" (Kazuhiro Ogata, Kokichi Futatsugi) "Implementing CCS in Maude 2" (Alberto Verdejo, Narciso Marti-Oliet) "The Maude LTL Model Checker" (Steven Eker, Jose Meseguer, Ambarish Sridharanarayanan) Preliminary program: -------------------- http://www.di.unipi.it/wrla2002/program.html ------------------------------------------------------------ CONFERENCE FEES: Early registration fee: 280,00 EUR (before August, 23) Late registration fee: 350,00 EUR (after August, 23) The registration fee includes lunches, a copy of the proceedings, a guided tour of the town, and the social dinner. The fee must be paid in cash at the conference venue. The organizers apologize, but no other form of payment (like credit card or international bank transfer) can be accepted. ------------------------------------------------------------ ACCOMMODATION: Due to other congresses held simultaneously, housing is a serious matter in Pisa, especially on Saturday Sept., 21. The organizers have a limited number of pre-booked rooms still available on a first come, first served basis. For a full list of hotels and more info see: http://www.di.unipi.it/wrla2002/hotels.html ------------------------------------------------------------ REGISTRATION: People willing to participate in the event must send a message to wrla2002@di.unipi.it filling the sample registration form below with: o full name and affiliation of participant o day of arrival o day of departure o number and full name(s) of accompanying person(s), if any o type of accommodation (pre-booked/other) - for pre-booked accommodations, please indicate also the type of preferred room (single/double) Please note that by choosing "other" as accommodation type, you must make take care of the accommodation on your own. ======================================================== WRLA 2002 Registration Form ======================================================== Full name: ............................................. Affiliation: ........................................... Arrival in Pisa (date and approx time): ............ Departure from Pisa (date and approx time): ............ Accompanying person(s): ................................ Accomodation: [ ] Pre-booked, single [ ] Pre-booked, double [ ] Other Special needs (vegetarian, shared room, etc.): ........................................................ ........................................................ ======================================================== After sending the registration message, wait for a confirmation from the organizers. If you do not receive any confirmation, please send again all data. ------------------------------------------------------------ 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 ------------------------------------------------------------ Organizing Committee Roberto Bruni, Fabio Gadducci (Chair) and Ugo Montanari (University of Pisa). ------------------------------------------------------------ For additional and more detailed information, visit the web page of WRLA 2002: http://www.di.unipi.it/wrla2002 ------------------------------------------------------------ Note that WADT 2002, the 16th International Workshop on Algebraic Development Techniques will be held the week after WRLA 2002, starting on September, 24. See http://www.pst.informatik.uni-muenchen.de/wadt2002/ for more details. ============================================================