Email Gateway (Aug 17 2022 at 14:43): Email Gateway (Aug 17 2022 at 14:43):From: Femke van Raamsdonk <femke@cs.vu.nl>
!!!!!!!!!!!!!!!!!! Extended Deadline: May 17 !!!!!!!!!!!!!!!!!!!!
********
* * * HOR'06 CALL FOR ABSTRACTS * * * ********
3rd International Workshop on Higher-Order Rewriting
Tuesday August 15, 2006 Sheraton, Seattle, WA
Important DATES:
May 17, 2006 : deadline electronic submission of paper
May 29, 2006 : notification of acceptance of papers
June 8, 2006 : 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.
HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.
HOR 2004 was part of RDP 2004 in Aachen, Germany.
HOR 2006 will be part of FLoC 2006 in Seattle, USA.
INVITED TALKS:
Hugo Herbelin (INRIA Futurs, Paris)
Eelco Visser (Universiteit Utrecht, The Netherlands)
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/ORGANIZING COMMITTEE:
Delia Kesner Universite Paris 7, France kesner@pps.jussieu.fr
Femke van Raamsdonk Vrije Universiteit, The Netherlands femke@cs.vu.nl
Mark-Oliver Stehr SRI International, USA stehr@csl.sri.com
HOR'06 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/HOR06/
to submit or update your paper.
PROCEEDINGS:
The proceedings of HOR 2006 will be made available on the
HOR 2006 web page and copies will be distributed to the
participants at the workshop.
LOCAL ARRANGEMENTS:
Gopal Gupta University of Texas, Dallas, USA gupta@utdallas.edu
Ashish Tiwari SRI International, USA tiwari@csl.sri.com
Last updated: Nov 21 2024 at 12:39 UTC