[TYPES/announce] Final Call for Papers WRLA 2014

Santiago Escobar sescobar at dsic.upv.es
Thu Dec 12 06:49:54 EST 2013


10th International Workshop on Rewriting Logic and its Applications

WRLA 2014
Grenoble, France, April 5th and 6th, 2014
http://www.dsic.upv.es/workshops/wrla2014/

The workshop will be held in conjunction with
ETAPS 2014
17th European Joint Conferences on Theory and Practice of Software
April 5-13, 2014
http://www.etaps.org/2014

IMPORTANT DATES

Submission deadline          December 30th 2013
Author notification          February 2nd 2014
Version informal proceedings February 14th 2014

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;
- use of RL to provide rigorous support for model-based software 
  engineering;
- formalisms related to RL, including
   - real-time and probabilistic extensions of RL,
   - rewriting approaches to behavioral specifications,
   - tile logic;
- verification techniques for RL specifications, including
   - equational and coherence methods,
   - verification of properties expressed in first-order, 
     higher-order, modal and temporal logics,
   - narrowing-based analysis and verification;
- comparisons of RL with existing formalisms having analogous aims;
- application of RL to specification and analysis of
   - distributed systems,
   - physical systems.

SUBMISSIONS

The final program of the workshop will include regular papers, 
tool papers, and work-in-progress presentations. The program 
will also contain invited talks to be determined by the 
program committee. Papers must contain original contributions, 
be clearly written, include appropriate references, and 
comparison with related work. They must be unpublished and 
not submitted simultaneously for publication elsewhere. 
Tool papers present a new tool, a new tool component, or 
novel extensions to an existing tool. They should provide a 
short description of the theoretical foundations with 
relevant citations, emphasize the design and implementation,
and give a clear account of the tool's functionality. The
described tools must be publicly available via the web.
All submissions should be formatted according to the 
guidelines for Springer LNCS papers, and should be submitted 
electronically using EasyChair.

Regular papers and work-in-progress should not exceed 
15 pages including references. Tool papers can have a 
maximum of 6 pages including references and may have 
an appendix of up to 4 additional pages with 
usage details and tool demonstration.

PROCEEDINGS

All submissions will be evaluated by the Program Committee. 
Regular papers, tool papers, and work-in-progress that 
are accepted will be presented at the workshop and 
included in the proceedings, which will be available
during the workshop. Regular papers, tool papers, and 
invited presentations will also be published in a volume 
in Springer's Lecture Notes in Computer Science 
(LNCS) series to be distributed after the workshop. 

Depending on the number and the quality of the contributions, 
we will consider the preparation of a special issue in some 
scientific journal in the field with extended versions of a 
selection of the papers of the workshop.

PROGRAM COMMITTEE

Mark van den Brand, 
  Eindhoven University of Technology, The Netherlands
Roberto Bruni, 
  University of Pisa, Italy
Manuel Clavel, 
  IMDEA Software & Universidad Complutense de Madrid, Spain
Francisco Durán, 
  Universidad de Málaga, Spain
Santiago Escobar (chair), 
  Universidad Politécnica de Valencia, Spain
Kokichi Futatsugi, 
  JAIST, Japan
Alexander Knapp, 
  Universitat Augsburg, Germany
Alberto Lluch-Lafuente, 
  IMT Institute for Advanced Studies Lucca, Italy
Dorel Lucanu, 
  Alexandru Ioan Cuza University, Rumania
Narciso Martí-Oliet, 
  Universidad Complutense de Madrid, Spain
José Meseguer, 
  University of Illinois at Urbana-Champaign, USA
Ugo Montanari, 
  University of Pisa, Italy
Pierre-Etienne Moreau, 
  Ecole des Mines de Nancy & INRIA Nancy, France
Kazuhiro Ogata, 
  JAIST, Japan
Peter Ölveczky, 
  University of Oslo, Norway
Miguel Palomino, 
  Universidad Complutense de Madrid, Spain
Grigore Rosu, 
  University of Illinois at Urbana-Champaign, USA
Vlad Rusu, 
  INRIA Lille Nord-Europe, France
Mark-Oliver Stehr, 
  SRI International, USA
Carolyn Talcott, 
  SRI International, USA
Martin Wirsing, 
  Ludwig Maximilians Universität München, Germany

CONTACT INFORMATION

For more information, please contact the organizers
sescobar at dsic.upv.es
or visit the workshop web page
http://www.dsic.upv.es/workshops/wrla2014/




More information about the Types-announce mailing list