[TYPES/announce] 2nd CFP: Higher-Order Rewriting 2007

[Ralph Matthes]

               **************************************
               *                                    *
               *  HOR 2007  2nd CALL FOR ABSTRACTS  *
               *                                    *
               **************************************

      4th International Workshop on Higher-Order Rewriting

              Monday June 25, 2007, Paris, France                   

                 http://www.rdp07.org/hor.html

IMPORTANT DATES:
  April 27, 2007 : (extended) deadline electronic submission of paper
  May   14, 2007 : notification of acceptance of papers
  June   4, 2007 : deadline for final version of accepted papers

HOR 2007 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 2002 was part of FLoC 2002 in Copenhagen, Denmark.
HOR 2004 was part of RDP 2004 in Aachen, Germany.
HOR 2006 was part of FLoC 2006 in Seattle, USA.
HOR 2007 is part of RDP 2007 in Paris.

This year, HOR enjoys additionally the status of a "small workshop" of
the TYPES project, see http://www.cs.chalmers.se/Cs/Research/Logic/Types/

There will also be a "small TYPES workshop" on Type theory, proof theory
and rewriting (TPR '07), 4 days later in Paris.

INVITED SPEAKERS:
  Carsten Schürmann, IT University of Copenhagen, Denmark (confirmed)
  Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Technology,
  Estonia (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

PROGRAM COMMITTEE
  Herman Geuvers (Radboud University Nijmegen, Netherlands)
  Makoto Hamana (Gunma University, Japan)
  Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair
  Albert Rubio (Technical University of Catalonia, Spain)
  Mark-Oliver Stehr (SRI International, U.S.A.)

HOR 2007 SUBMISSIONS:
  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 http://www.easychair.org/HOR2007/
  to submit or update your paper (updates are always possible before
  the deadline). Please address your questions to the PC chair,
  under family_name at irit.fr.

PROCEEDINGS:
  The proceedings of HOR 2007 will be made available on the
  HOR 2007 web page and copies will be distributed to the
  participants at the workshop.

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

LOCAL ARRANGEMENTS:
  The organizers of RDP 2007 (Antonio Bucciarelli, Vincent Padovani,
  Ralf Treinen, Xavier Urbain).