----------------------------------------------------------------------
----------------------------------------------------------------------
**
**    HOR 18
**    9th Workshop on Higher-Order Rewriting
**
**    http://lipn.univ-paris13.fr/HOR18
**
----------------------------------------------------------------------
**
**    International Workshop affiliated with FSCD at FLOC 2018
**        http://www.cs.le.ac.uk/events/fscd2018
**        http://floc2018.org
**
**        Oxford, 7 July, 2018
**
**    With a special session in honour of Kris Rose
**
----------------------------------------------------------------------
**
**        ****    Call for Submissions     ****
**        http://lipn.univ-paris13.fr/HOR18/call-for-submissions.txt
**
----------------------------------------------------------------------
----------------------------------------------------------------------

* Overview

HOR is a forum to present work concerning all aspects of higher-order
rewriting.

HOR aims to provide an informal and friendly setting to discuss recent
work and work in progress concerning higher-order rewriting, broadly
construed. This includes rewriting systems that have functional
variables or bound variables, the lambda-calculus and combinatory
logic being paradigmatic examples.

* Topics

The following is a non-exhaustive list of topics for the workshop:

  - 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: graphs, nets, abstract machines, explicit
    substitution, rewriting tools, compilation techniques.

  - Semantics: operational semantics, denotational semantics,
    separability, higher-order abstract syntax.


----------------------------------------------------------------------
** Special session in honour of Kris Rose
----------------------------------------------------------------------

Kristopher H. (Kris) Rose has been an active member of the HOR
community.  He contributed to almost all the editions of HOR and he
served as PC chair of the 7th edition (Vienna 2014).

The next one will be the first edition without Kris, and a special
session will be dedicated to honour him: to thank him for his
continuous support to HOR and to acknowledge his key role in the
development of explicit substitutions.

If you would like to give a short address in his memory or your
submission his related to Kris work, please contact the PC chair
      Stefano Guerrini  (mailto:stefano.guerrini@univ-paris13.fr)

----------------------------------------------------------------------
** Submission Guidelines
----------------------------------------------------------------------

To give a presentation at the workshop, submit an extended abstract
(between 2 to 5 pages} via Easychair

      https://easychair.org/conferences/?conf=hor18

HOR is a platform for discussing open questions, ongoing research, and
new perspectives, as well as new results. Extended abstracts
describing work in progress, preliminary results, research projects, or
problems in higher-order rewriting are very welcome.

The workshop has informal, electronic proceedings that will be
included in the FLoC 2018 electronic proceedings.

Submission is via Easychair at

      https://easychair.org/conferences/?conf=hor18

For questions regarding submission, please contact the PC chair
      Stefano Guerrini  (mailto:stefano.guerrini@univ-paris13.fr)

----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------

 * Submission deadline: 22 April, 2018 (midnight AoE)  ** extended **
 * Notification: 22 May, 2018
 * Final version: 28 May, 2018

----------------------------------------------------------------------
** Committees
----------------------------------------------------------------------

** Program Committee
----------------------------------------------------------------------

 * Sandra Alves    (University of Porto, Portugal)
 * Zena Ariola    (University of Oregon, Oregon, USA)
 * Eduardo Bonelli    (Stevens Institute of Technology, New Jersey, USA)
 * Jörg Endrullis    (Vrije Universiteit Amsterdam, The Netherlands)
 * Stefano Guerrini, chair    (Paris 13 University, France)
 * Benedetto Intrigila    (Tor Vergata University, Rome, Italy)
 * Paula Severi    (University of Leicester, UK)
 * Femke Van Raamsdonk    (Vrije Universiteit Amsterdam, The Netherlands)

** Steering Committee
----------------------------------------------------------------------

 * Delia Kesner    (IRIF, Univ. Paris Diderot)
 * Femke Van Raamsdonk    (Vrije Universiteit Amsterdam, The Netherlands)

----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------

 * Naoki Kobayashi    (The University of Tokyo)
 * Cynthia Kop    (Radboud University Nijmegen)
 * Pierre Vial    (CNRS - INRIA Bretagne, Nantes)

----------------------------------------------------------------------
** Contact
----------------------------------------------------------------------

All questions about submissions should be emailed to
Stefano Guerrini (mailto:stefano.guerrini@univ-paris13.fr)

----------------------------------------------------------------------
** Supporting Organisations
----------------------------------------------------------------------

Université Paris 13, Sorbonne Paris Cité