CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)

------------------------------------------------------------------------
 [Although we try avoiding cross-posting, we apologize if that happens]
------------------------------------------------------------------------

                               RULE 2010
                            Call For Papers

               ELEVENTH INTERNATIONAL WORKSHOP ON
            RULE-BASED SPECIFICATION AND PROGRAMMING

      RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB

                             Edinburgh, UK
                             July 14, 2010

IMPORTANT DATES:

    Submission deadline:    Friday, April 16, 2010
    PC meeting:             Monday-Friday, May 24-28, 2010
    Authors notified:       Thursday, June 3, 2010
    Final copies due:       Friday, June 25, 2010
    RULE 2010 Workshop:     Wednesday, July 14, 2010,

                             This CFP' URL:
                    http://www.di.uminho.pt/rule2010

(Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010)

With the renewed interest in rule-based computing for industrial
applications (e.g., Business Rules) especially as it relates to the
Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely
to explore the practical benefits delivered by computing with rules and
ontologies in the large. Thus, this year's theme will focus on rule-based
programming in Industry and the Semantic Web. The emphasis will be on
implemented systems that have been actually used in pragmatic situations
where the advantages of rule-driven computation and inference have made
all the difference, such advantages being:

    * agility
    * declarativeness
    * maintainability
    * documentability
    * scalability
    * meta-programmability
    * reliability
    * formal semantics
    * etc., ...

In terms of the Semantic Web, we explicitly call for submissions that
probe (in a pragmatic setting) how rule-based approaches complement
ontology-based approaches, which share some of the characteristics of
rule systems, such as declarativeness and formal semantics.

PAPER SUBMISSION

We are solliciting papers dealing with topics related to this year's
theme discussing any or several of the itemized facets of the
combinations of rules and ontologies, going beyond academic experiments
and meant for large-scale or industrial applications. Papers should
contain no more than 10 pages, including figures, and submitted through
EasyChair using the standard EPTCS LaTeX style file.

PROGRAM COMMITTEE

    * Hassan Ait-Kaci, IBM, Canada (co-chair)
    * Maria Alpuente, Universidad de Valencia, Spain
    * Harold Boley, National Research Council, Canada
    * Mike Dean, BBN, USA
    * Mohand-Said Hacid, Universite Claude Bernard, Lyon, France
    * Gary Hallmark, Oracle, USA
    * Pierre-Etienne Moreau, INRIA Nancy, France
    * Jeff Pan, University of Aberdeen, United Kingdom
    * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair)
    * Eelco Visser, Delft University of Technology, The Netherlands

Workshop venue

    RULE 2010 will be a satellite workshop of the conference on
    Rewriting Techniques and Applications (RTA 2010) affiliated to the
    Federated Logic of Computing conferences (FLoC 2010), to take place
    in Edinburgh, UK, July 9-21, 2010.