Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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
  Femke van Raamsdonk  Amsterdam 
  Joe Wells            Edinburgh

  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 Archives:
Bug reports: FAQ:
Beginner's list: