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
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-01-07 (08:15)
From: Frederic Blanqui <frederic.blanqui@i...>
Subject: HOR 2010 1st CALL FOR ABSTRACTS

               *                                    *
               *  HOR 2010  1st CALL FOR ABSTRACTS  *
               *                                    *

      5th International Workshop on Higher-Order Rewriting
                   (Affiliated with RTA'2010)
              Wednesday July 14, 2010, Edinburgh, UK


  March   25, 2010 : deadline electronic submission of paper
  April   20, 2010 : notification of acceptance of papers
  May     17, 2010 : deadline for final version of accepted papers

HOR 2010 is a forum to present work concerning all aspects
of higher-order rewriting. The aim is to provide an informal and
friendly setting to discuss recent work and work in progress.

HOR 2010 is part of FLoC 2010 in Edinburgh.
HOR 2007 was part of RDP 2007 in Paris, France.
HOR 2006 was part of FLoC 2006 in Seattle, USA.
HOR 2004 was part of RDP 2004 in Aachen, Germany.
HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.

TOPICS of interest include (but are not limited to):
  APPLICATIONS:   proof checking, theorem proving, generic programming,
                  declarative programming, program transformation,
                  automated termination/confluence tools
  FOUNDATIONS:    pattern matching, unification, strategies, narrowing,
                  termination, syntactic properties, type theory,
                  complexity of derivations.
  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, categorical
                  rewriting, higher-order abstract syntax, games and

  Maribel Fernández  King's College London, UK
  Silvia Ghilezan    University of Novi Sad, Serbia

  Zena Ariola                     University of Oregon, USA
  Frédéric Blanqui                INRIA & Tsinghua University, China
  Eduardo Bonelli                 Universidad Nacional de Quilmes,
Argentina, chair
  Mariangiola Dezani-Ciancaglini  Università di Torino, Italy
  Roel de Vrijer                  Vrije Universiteit, The Netherlands

  Abstracts between 2 and 5 pages. As HOR is meant
  to be a platform to discuss ongoing research we
  are also interested in abstracts describing work
  in progress, or problems in higher-order rewriting.
  Please use the EasyChair page
  to submit or update your paper (updates are always possible before
  the deadline). Please address your questions to the PC chair,
  under: ebonelli * (where '*' is replaced by '@').

  The proceedings of HOR 2010 will be made available on the
  HOR 2010 web page and copies will be distributed to the participants
  at the workshop. Publication of post-workshop proceedings in EPTCS
  is under consideration.

  Delia Kesner         Université Paris 7, France
  Femke van Raamsdonk  Vrije Universiteit, The Netherlands

  Venue Coordinator of the local organizing committee of FLoC'2010:
  Floris Geerts (