The call for papers for RTA'03 might be relevant for the readers of the Haskell lists since papers on applications of rewriting are explicitly invited. ******************************************* ****************************** * * * RTA'03 CALL FOR PAPERS * * * ****************************** http://www.dsic.upv.es/~rdp03/rta The 14th International Conference on Rewriting Techniques and Applications (RTA'03) will be part of the Federated Conference on Rewriting Deduction and Programming (RDP'03). IMPORTANT DATES: * January 15 2003 electronic submission of title + abstract * January 22 2003 electronic submission of papers * March 15 2003 notification of acceptance * April 7 2003 final version of accepted papers * June 9-11 2003 RTA'03 * June 8-14 2003 RPD'03 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; 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. RTA'03 PROGRAM COMMITEE: Harald Ganzinger (Max-Planck-Institut) Claude Kirchner (Nancy) Salvador Lucas (Valencia) (Conference Chair) Chris Lynch (Clarkson) Jose Meseguer (Urbana) Robert Nieuwenhuis (Barcelona) (Program Chair) Tobias Nipkow (Munich) Vincent van Oostrom (Utrecht) Christine Paulin (Paris-sud) Frank Pfenning (Carnegie Mellon) Mario Rodriguez-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 series. More information about paper submission will be available at the RDP'03 web page http://www.dsic.upv.es/~rdp03/