[Maude-users] Fwd: deadline extension: RULE 2008

[Salvador Lucas]

Inicio del mensaje reenviado:

> De: Jorge Sousa Pinto <jsp at DI.UMINHO.PT>
> Fecha: 14 de abril de 2008 13:07:30 GMT+02:00
> Para: EAPLS at JISCMAIL.AC.UK
> Asunto: deadline extension: RULE 2008
> Responder a: Jorge Sousa Pinto <jsp at DI.UMINHO.PT>
>
> =====================================================================
>                       (DEADLINE EXTENSION)
>
>                            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 28, 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://maude.cs.uiuc.edu/pipermail/maude-users/attachments/20080414/392afb22/attachment-0001.html