[TYPES/announce] Call for papers : HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018

[Stefano Guerrini]

----------------------------------------------------------------------
----------------------------------------------------------------------
**
**    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
**
----------------------------------------------------------------------
**
**        ****    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.

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

To give a presentation at the workshop, submit an extended asbtract
(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, reserch 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 at univ-paris13.fr)

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

 * Submission deadline: 15 April, 2017
 * Notification: 22 May, 2017
 * Final version: 28 May, 2017

----------------------------------------------------------------------
** 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
----------------------------------------------------------------------

 * TBA
 * TBA

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

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

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

Université Paris 13, Sorbonne Paris Cité

=====================================

Stefano Guerrini
Institut Galilée, Université Paris 13, Sorbonne Paris Cité
Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030)
stefano.guerrini at univ-paris13.fr