[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                     7th International Workshop on
                  Rewriting Logic and its Applications

                             W R L A  2008

                   Budapest, Hungary, March 29-30, 2008

                       http://wrla08.cs.uiuc.edu/


The workshop will be held in conjunction with
          ETAPS 2008
          11th European Joint Conferences on Theory and Practice of Software
          March 29 - April 6, 2008
          http://etaps08.mit.bme.hu/


WRLA 2008 IMPORTANT DATES

December 12, 2007    Deadline for submission
January 10, 2008     Notification of acceptance
January 25, 2008     Final version in electronic form
March 29-30, 2008    Workshop in Budapest


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 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;
- formalisms related to RL, including real-time and probabilistic
  extensions of RL, tile logic, rewriting approaches to behavioral
  specifications;
- 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 COMMITTEE

Mark van den Brand     Technical University of Eindhoven
Roberto Bruni          Universita di Pisa
Manuel Clavel          Universidad Complutense de Madrid
Francisco Duran        Universidad de Malaga
Steven Eker            SRI International, Menlo Park
Kokichi Futatsugi      JAIST, Tatsunokuchi
Jurgen Giesl           RWTH Aachen
Bernhard Gramlich      Vienna University of Technology, Austria
Deepak Kapur           University of New Mexico
Claude Kirchner        INRIA Lorraine & LORIA, Nancy
Salvador Lucas         Universidad Politecnica de Valencia
Claude Marche          INRIA Futurs & University Paris-sud 11, Orsay, France
Narciso Marti-Oliet    Universidad Complutense de Madrid
Jose Meseguer          University of Illinois at Urbana-Champaign
Ugo Montanari          Universita di Pisa
Pierre-Etienne Moreau  INRIA Lorraine & LORIA, Nancy
Peter Olveczky         University of Oslo
Femke van Raamsdonk    Vrije Universiteit, Amsterdam, The Netherlands
Kristoffer Rose        IBM Research, Watson
Grigore Rosu (chair)   University of Illinois at Urbana-Champaign
Mark-Oliver Stehr      SRI International, Menlo Park
Carolyn Talcott        SRI International, Menlo Park
Yoshihito Toyama       Tohoku University
Xavier Urbain          CEDRIC Paris, France
Martin Wirsing         Ludwig-Maximillian University, Munich


CONTACT INFORMATION

For more information, please contact the organizers
              [EMAIL PROTECTED]
or visit the workshop web page
              http://wrla08.cs.uiuc.edu/

Reply via email to