HOR 18: 9th Workshop on Higher-Order Rewriting Oxford, UK, July 7, 2018 |
Conference website | https://lipn.univ-paris13.fr/HOR18/ |
Submission link | https://easychair.org/conferences/?conf=hor18 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Submission deadline | April 15, 2018 |
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.
Submission Guidelines
We invite the submission of extended abstracts between 2 and 5 pages in any topic related to the theory and the application of higher-order rewriting (see belowe, for a non-exhaustive list of topics).
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.
Submission is via Easychair: submit here
List of 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.
Important dates
- Paper submission: 15 April
- Notification: 12 May
- Final version: 28 May
- Workshop: 7 July
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, Leicester University of Leicester, UK
- Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands
Steering committee
- Delia Kesner, Paris Diderot University, France
- Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands
Invited Speakers
- TBA
- TBA
Publication
The workshop has informal, electronic proceedings that will be included in the FLoC 2018 electronic proceedings.
Venue
The conference will be held in Oxford (UK), affiliated with FCSD at FLOC 2018.
Contact
All questions about submissions should be emailed to the program chair (λ x y. Stefano Guerrini <x.y@univ-paris13.fr>) stefano guerrini
Sponsors
- University of Paris 13, Sorbonne Paris Cité
- ...
More to be announced.