English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] HOR'04: first call for abstracts
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-22 (14:03)
From: femke@f...
Subject: [Caml-list] HOR'04: first call for abstracts

               *                              *
               *  HOR'04   CALL FOR ABSTRACTS *
               *                              *

      2nd international Workshop on Higher-Order Rewriting 

  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. 

  Mark-Oliver Stehr   Hamburg (confirmed)
  (another person, to be confirmed)

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

  Delia Kesner         Paris      kesner@pps.jussieu.fr
  Femke van Raamsdonk  Amsterdam  femke@cs.vu.nl 
  Joe Wells            Edinburgh  jbw@macs.hw.ac.uk

  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.

  The proceedings of HOR 2004 will be published as a technical 
  report of the Computer Science Department of RWTH Aachen. 

  Juergen Giesl 
  RWTH Aachen, Germany 

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