---------------------------------------------------------------- IFIP Working Group 1.6 on Term Rewriting Report of the annual meeting: June 15, 2007 (Paris, France) (partially reconstructed in 2009 from mail exchanges) Chair: Claude Kirchner Secretary: Laurent Vigneron Invited Participants: Delia Kesner Hassan Ait Kaci Ralf Treinen (invited) ---------------------------------------------------------------------- Agenda: 1. Technical Presentations 2. Progress Reports 3. Reports on the Termination Competition 4. Reports on ISR 2007 and 2008 5. Business Meeting ---------------------------------------------------------------------- 1. Technical presentations: * Delia Kesner: Pattern Calculi Nowadays the notion of pattern is very popular not only in the functional programming paradigm, but also in object-oriented and concurrent programming languages, modern theorem provers, tools for data manipulation and queries, etc. In this talk, we will concentrate on pattern functional calculi which generalise the lambda-calculus by basing computation on pattern-matching instead of beta-reduction. We will survey some works in the domain and compare methodological aspects of different approaches in the literature. * Hassan Ait-Kaci: Concepts, Issues, and Perspectives of Rule-based Computing in Industry In industry, the term "agile computing" has recently become a marketing buzzword that essentially means "rule-based computing". The "agility" here being the capability of quickly reconfiguring and redeploying very complex software specified as rulesets by having non-software experts managing a decision-making application to adapt it simply by editing English- like or table-specified individual rules. These architectures typically consist of reactive rule shells (modeling decision processes) interconnected into process flow graphs. The notion of rules used in these applications are typically (Event)-Condition- Action [(E)CA]-rules - also called Reactive Rules (CA-rules being also known as Production Rules). The "action" part of a reactive rule makes it produce side-effects on a "working memory". The "condition" part typically consists of pattern-matching on data objects and boolean expressions on parts thereof. In this talk, I will review and analyze concepts, issues, and perspectives open to industrial decision-aiding software by this general rule-based model of computation, seeking links with non-ECA rule-based paradigms such as (conditional) rewrite-rule systems. ---------------------------------------------------------------------- 5. Business meeting * Next meeting of the IFIP working group: The next IFIP WG 1.6 meeting will take place on July 18, 2008 in Hagenberg, Austria. ----------------------------------------------------------------------