coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RDP 2004 (RTA & workshops): Call for participation

From: Juergen Giesl <giesl AT informatik.rwth-aachen.de>
To: rewriting AT ens-lyon.fr, stratego-users AT cs.uu.nl, EAPLS AT JISCMAIL.AC.UK, ccl AT ps.uni-sb.de, lprolog AT cs.umn.edu, clp AT comp.nus.edu.sg, moserg AT math.uni-muenster.de, arai AT kurt.scitec.kobe-u.ac.jp, alpuente AT dsic.upv.es, femke AT cs.vu.nl, gramlich AT logic.at, tamaryl AT cs.bgu.ac.il, mcodish AT cs.bgu.ac.il, npopov AT risc.uni-linz.ac.at, Tudor.Jebelean AT risc.uni-linz.ac.at, rdv AT cs.vu.nl, jwk AT cs.vu.nl, johannes_waldmann AT web.de, geser AT nianet.org, jketema AT cs.vu.nl, Claude.Marche AT lri.fr, Danny.DeSchreye AT cs.kuleuven.ac.be, dieter AT theory.informatik.uni-kassel.de, loginf AT lat.inf.tu-dresden.de, trs AT etl.go.jp, theory-logic AT cs.cmu.edu, theorem-provers AT ai.mit.edu, qed AT mcs.anl.gov, pvs AT csl.sri.com, prog-lang AT diku.dk, meta-announce AT cwi.nl, maude-users AT peepal.cs.uiuc.edu, lics AT research.att.com, formal-methods AT cs.uidaho.edu, elan-users AT loria.fr, eatcs AT eatcs.org, eacsl AT dimi.uniud.it, coq-club AT pauillac.inria.fr, ALP-request AT NIC.SURFNET.NL
Subject: [Coq-Club] RDP 2004 (RTA & workshops): Call for participation
Date: Fri, 23 Apr 2004 16:37:48 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Apologies for multiple copies:

                     CALL FOR PARTICIPATION

       Early Registration Deadline: April 30 (next Friday !!)

        *************************************************
        *                                               *
        *                   RDP 2004                    *
        *                                               *
        * http://www-i2.informatik.rwth-aachen.de/RDP04 *
        *                                               *
        *       Aachen, Germany, May 31 - June 5        *
        *                                               *
        *************************************************

For the program, registration, and accomodation, please see
http://www-i2.informatik.rwth-aachen.de/RDP04

The 2nd Federated Conference on Rewriting, Deduction, and Programming
consists of the following events:

--------------------------------------------------------------------------------

RTA (15th International Conference on REWRITING TECHNIQUES AND APPLICATIONS)

  Invited talks by:
    Neil Jones       (Copenhagen)
    Aart Middeldorp  (Innsbruck)
    Robin Milner     (Cambridge)

  PC-Chair: Vincent van Oostrom (Utrecht)

---------------------------------------------------------------------------------

HOR (2nd International Workshop on HIGHER-ORDER REWRITING)

  Invited talks by:
    Mariangola Dezani (Torino)
    Mark-Oliver Stehr (Hamburg)

  PC-Chairs:
    Delia Kesner        (Paris)
    Femke van Raamsdonk (Amsterdam)
    Joe Wells           (Edinburgh)

---------------------------------------------------------------------------------

RULE (5th International Workshop on RULE-BASED PROGRAMMING)

  PC-Chairs:
    Slim Abdennaher (Cairo)
    Christophe Ringeissen (Nancy)

---------------------------------------------------------------------------------

WFLP (13th International workshop on FUNCTIONAL AND (CONSTRAINT) LOGIC
PROGRAMMING)

  PC-Chair: Herbert Kuchen (Muenster)

---------------------------------------------------------------------------------

WRS (4th International Workshop on REDUCTION STRATEGIES IN REWRITING AND
PROGRAMMING)

Invited talks by:
    Olivier Danvy   (Aarhus)
    Jan Willem Klop (Amsterdam)

  PC-Chairs:
    Sergio Antoy     (Portland)
    Yoshihito Toyama (Sendai)

---------------------------------------------------------------------------------

WST (7th International Workshop on TERMINATION)

Invited talk by:
    Danny de Schreye (Leuven)

  PC-Chairs:
    Michael Codish  (Beer-Sheva)
    Aart Middeldorp (Innsbruck)

---------------------------------------------------------------------------------

WG 1.6 (IFIP Working Group 1.6 on TERM REWRITING)

  Chair: Claude Kirchner (Nancy)

---------------------------------------------------------------------------------

[Coq-Club] RDP 2004 (RTA & workshops): Call for participation, Juergen Giesl