HOR 02

The First International Workshop on Higher-Order Rewriting

July 21st, 2002, Copenhagen, Denmark

Held in conjunction with FLOC'02

Purpose:

The aim of HOR is to provide an informal setting to discuss recent work and work in progress concerning higher-order rewriting.

Scope:

The topics of the workshop include, but are not limited to:

Applications:
proof checking, theorem proving, declarative programming, program transformation.

Foundations:
pattern matching, unification, strategies, syntactic properties, type theory.

Frameworks:
term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks.

Implementation:
rewriting tools, compilation techniques.

Semantics:
semantics of higher-order rewriting, higher-order abstract syntax.

Authors are invited to submit a one-page abstract in PostScript format by e-mail to Delia.Kesner@lri.fr.
Accepted abstracts will be collected in preliminary proceedings which will be available at the workshop.
At least one author of each accepted abstract is expected to attend the workshop to present the work.

ORGANIZERS

Delia Kesner	(Universite Paris-Sud, France)
Tobias Nipkow	(Technische Universität München, Germany)
Femke van Raamsdonk	(Vrije Universiteit, The Netherlands)

INVITED SPEAKERS

Vincent van Oostrom	(Utrecht University , The Netherlands)
Joe Wells	(Heriot-Watt University, Edinburgh, Scotland)

IMPORTANT DATES

Submission:	Monday May 6, 2002	EXTENDED DEADLINE	Monday May 20, 2002
Notification:	Monday June 3, 2002
Final Version:	Monday June 24, 2002
Workshop:	Saturday July 21, 2002