[TYPES/announce] CFP: RULE 2008

Jorge Sousa Pinto jsp at DI.UMINHO.PT
Mon Jan 7 07:50:47 EST 2008


=====================================================================
                          Call for Papers

                            RULE 2008
        9th International Workshop on Rule-Based Programming
                http://sewiki.iai.uni-bonn.de/rule08/

                     Hagenberg Castle, Austria
                         18th July 2008

                   A satellite event of RTA 2008
======================================================================

IMPORTANT DATES

Deadline for electronic submission of papers: April 14, 2008
Author notification: May 26, 2008
Deadline for final versions of accepted papers: June 9, 2008
Workshop: July 18, 2008


The fundamental concepts of rule-based programming are present in many
areas of computer science, from theory to practical
implementations. In programming languages, term rewriting is used in
semantics as well as in implementations that use bottom-up rewriting
for code generation. Rules are also used to perform computations in
various systems; to describe logical inference in theorem provers; to
specify and implement constraint-based algorithms and applications;
and to describe and implement program transformations.
Rule-based programming provides a common framework for viewing
computation as a sequence of transformations on some shared structure
such as a term, graph, proof, or constraint store. Rule selection and
application is typically governed by a rich set of sophisticated
mechanisms for recognizing and manipulating structures.

After the development of the principles of rewriting logic and of the
rewriting calculus in the nineties, languages and systems such as
ASF+SDF, BURG, CHRs, Claire, ELAN, Maude, and Stratego contributed to
demonstrate the importance of rule-based programming.
The area has since been experiencing a period of growth with the
emergence of new concepts, systems, and application domains, such as
Domain Specific Languages, Generative and Aspect-Oriented Programming,
and Software Engineering activities like maintenance, reverse
engineering, and testing.

The goal of this workshop is to bring together researchers from the
various communities working on rule-based programming to foster
advances in the foundations and research on rule-based programming
methods and systems; and to promote cross-fertilization between theory
and practice, and the application of rule-based programming in various
important domains.

Rule'08 is the ninth in a series of workshops. The first
Rule workshop was held in Montréal in 2000, and subsequent
editions took place in Firenze, Pittsburgh, Valência, Aachen, Nara,
Seattle, and Paris.



Topics of Interest
------------------

We solicit original papers on all topics related to rule-based
programming including:

Theory and Languages for rule-based programming:

     * Advances in the rewriting calculus
     * Advances in rewriting logic
     * Complexity results
     * Static analysis
     * Semantics
     * Type Systems
     * Implementation techniques
     * Domain-specific Languages

Applications:

     * Software analysis and transformation
     * Software development and testing
     * Reengineering
     * Security

Paradigm combinations of Rule-based programming:

     * with Functional Programming
     * with Logic Programming
     * with Object-oriented programming
     * Language embedding and extensions

Tool and System descriptions

     * Usability engineering for rule-based programming tools
     * Experience in building or using rule-based programming systems
     * Practical aspects of rule-based programming systems
     * Empirical evaluation of rule-based programming



Submission and Publication

Submissions to the workshop will be judged on the basis of
originality, relevance, technical soundness and presentation quality.

Papers must be written in English and not exceed 15 pages in ENTCS
format (see ENTCS formatting guidelines). Papers should be submitted
electronically via the web-based submission site. If you experience
any problems with the submission procedure please contact one of the
PC chairs: Günter Kniesel (gk at cs.uni-bonn.de) or Jorge Sousa Pinto
(jsp at di.uminho.pt).

Publication of the workshop proceedings by Elsevier Science in
Electronic Notes in Theoretical Computer Science (ENTCS) is
anticipated.



Program Committee:

Mark van den Brand, TU Eindhoven, Netherlands
Horatiu Cirstea, IUT Nancy Charlemagne, France
Steven Eker, SRI International, USA
Maribel Fernandez, King's College London, UK
Jeffrey G. Gray, University of Alabama at Birmingham, USA
Günter Kniesel (co-chair), University of Bonn, Germany
Ralf Lämmel, University of Koblenz-Landau, Germany
Salvador Lucas, Universidad Politécnica de Valencia, Spain
Ugo Montanari, Università di Pisa, Italy
Jorge Sousa Pinto (co-chair), Universidade do Minho, Portugal
Joost Visser, Software Improvement Group, The Netherlands
Jan Wielemaker, University of Amsterdam, The Netherlands
Victor Winter, University of Nebraska at Omaha, USA




More information about the Types-announce mailing list