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 NAA32001; Tue, 9 Mar 2004 13:23:20 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA32421 for ; Tue, 9 Mar 2004 13:23:19 +0100 (MET) Received: from skiff.cs.vu.nl (skiff.cs.vu.nl [192.31.231.56]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i29CNaKW029614 for ; Tue, 9 Mar 2004 13:23:37 +0100 Received: by skiff.cs.vu.nl (Smail #87) id m1B0gGU-00008yC; Tue, 9 Mar 2004 13:23 +0100 Message-Id: Date: Tue, 9 Mar 2004 13:23 +0100 From: femke@few.vu.nl (Femke van Raamsdonk) To: caml-list@inria.fr Subject: [Caml-list] HOR'04: last call for abstracts X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; higher-order:01 hor:99 2004:99 2004:99 hor:99 higher-order:01 generic:01 declarative:01 unification:01 narrowing:01 frameworks:01 frameworks:01 amsterdam:99 juergen:01 semantics:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 80 ******************************** * * * HOR'04 CALL FOR ABSTRACTS * * * ******************************** 2nd international Workshop on Higher-Order Rewriting http://www-i2.informatik.rwth-aachen.de/HOR04/ IMPORTANT DATES: Mar 17 2004 : deadline electronic submission of paper Apr 9 2004 : notification of acceptance of papers Apr 23 2004 : deadline for final version of accepted papers The aim of HOR is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. INVITED TALKS: Mariangola Dezani Torino Mark-Oliver Stehr Hamburg TOPICS of interest include (but are not limited to): APPLICATIONS: proof checking, theorem proving, generic programming, declarative programming, program transformation. FOUNDATIONS: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory. FRAMEWORKS: term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks. IMPLEMENTATION: explicit substitution, rewriting tools, compilation techniques. SEMANTICS: semantics of higher-order rewriting, higher-order abstract syntax PROGRAM/ORGANIZING COMMITTEE: Delia Kesner Paris kesner@pps.jussieu.fr Femke van Raamsdonk Amsterdam femke@cs.vu.nl Joe Wells Edinburgh jbw@macs.hw.ac.uk HOR'04 SUBMISSIONS: Abstracts between 2 and 5 pages. As HOR is meant to be a platform to discuss ongoing research we are also interested in abstract describing work in progress, or problems in higher-order rewriting. PUBLICATION: The proceedings of HOR 2004 will be published as a technical report of the Computer Science Department of RWTH Aachen. LOCAL ARRANGEMENTS: Juergen Giesl RWTH Aachen, Germany giesl@informatik.rwth-aachen.de ------------------- 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