Email Gateway (Aug 19 2022 at 12:14): Email Gateway (Aug 19 2022 at 12:14):From: Santiago Escobar <sescobar@dsic.upv.es>
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
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,
use of RL to provide rigorous support for model-based software
engineering;
formalisms related to RL, including
verification of properties expressed in first-order,
higher-order, modal and temporal logics,
narrowing-based analysis and verification;
IMPORTANT DATES
Submission deadline December 30th 2013
Author notification February 2nd 2014
Version informal proceedings February 14th 2014
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.
CONTACT INFORMATION
For more information, please contact the organizers
sescobar@dsic.upv.es
or visit the workshop web page
http://www.dsic.upv.es/workshops/wrla2014/
Last updated: Nov 21 2024 at 12:39 UTC