From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA17661; Fri, 10 Jan 2003 22:20:13 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA17689 for caml-list@pauillac.inria.fr; Fri, 10 Jan 2003 22:20:12 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA16173 for ; Fri, 10 Jan 2003 21:48:14 +0100 (MET) Received: from flits.cs.vu.nl (flits.cs.vu.nl [192.31.231.65]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h0AKmEr25306 for ; Fri, 10 Jan 2003 21:48:14 +0100 (MET) Received: from localhost (localhost [127.0.0.1]) by flits.cs.vu.nl with esmtp (Smail #85) id m18X64b-001CETC; Fri, 10 Jan 2003 21:48 +0100 Date: Fri, 10 Jan 2003 21:48:13 +0100 (CET) From: Femke van Raamsdonk To: caml-list@inria.fr cc: Femke van Raamsdonk Subject: [Caml-list] RTA'03: last call for papers Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=X-UNKNOWN Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk *********************************** * * * RTA'03 LAST CALL FOR PAPERS * * * *********************************** http://www.dsic.upv.es/~rdp03/rta The 14th Int. Conf. on Rewriting Techniques and Applications (RTA'03) will be part of the Federated Conf. on Rewriting, Deduction and Programming (RDP'03). IMPORTANT DATES: Jan 15 2003: Deadline electronic submission of title+short abstract Jan 22 2003: Deadline electronic submission of papers Mar 15 2003: Notification of acceptance of papers Apr 7 2003: Deadline for final versions of accepted papers Jun 9-11 '03: Conference. RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): * APPLICATIONS: case studies; (rule-based) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking. * FOUNDATIONS: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions. * FRAMEWORKS: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting. * IMPLEMENTATION: compilation techniques; parallel execution; rewriting tools. * SEMANTICS: equational logic; rewriting logic. INVITED TALKS will be given at RTA'03 by: * David McAllester Toyota Technological Institute at Chicago Joint invited speaker with TLCA * Jean-Louis Giavitto Universit=E9 d'Evry, France * Pat Lincoln SRI International BEST PAPER AWARDS: A 1000 Euro award wil be given to the best paper or papers as decided by the PC. The award may also totally or partially go to the best paper with a student as main author, according to the submission letter. RTA'03 PROGRAM COMMITEE: * Harald Ganzinger (Max-Planck-Institut) * Claude Kirchner (Nancy) * Salvador Lucas (Valencia) * Chris Lynch (Clarkson) * Jos=E9 Meseguer (Urbana) * Robert Nieuwenhuis (Barcelona, Chair) * Tobias Nipkow (Munich) * Vincent van Oostrom (Utrecht) * Christine Paulin (Paris-sud) * Frank Pfenning (Carnegie Mellon) * Mario Rodr=EDguez-Artalejo (Madrid) * Sophie Tison (Lille) * Ashish Tiwari (SRI) * Andrei Voronkov (Manchester) * Hantao Zhang (Iowa) RTA'03 SUBMISSIONS: Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Also problem sets and submissions decribing interesting applications of rewriting techniques will be very welcome. As usual, accepted papers will appear in the Springer-Verlag Lecture Notes in Computer Science series. See the RDP'03 web page for details. For further questions please contact the program chair: RTA'03 PROGRAM CHAIR: Robert Nieuwenhuis Technical University of Catalonia Jordi Girona 1, E-08034 Barcelona, Spain roberto@lsi.upc.es ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners