[TYPES/announce] CFP: 8th International Workshop on Higher-Order Rewriting

[Jakob Grue Simonsen]

CALL FOR PAPERS

HOR 2016

8th International Workshop on Higher-Order Rewriting

June 25, 2016

Porto, Portugal

Affiliated with FSCD 2016

HOR is a forum to present work concerning all aspects of

higher-order rewriting. The aim is to provide an informal and

friendly setting to discuss recent work and work in progress.

SCOPE

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

* Applications: proof checking, type checking, theorem proving,

functional programming, declarative programming, program

transformation.

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

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

* Implementation: graphs, nets, abstract machines, explicit 
substitution, rewriting tools, compilation techniques.

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

SUBMISSION

Submissions can be extended abstracts describing new results, work in 
progress, or problems, in higher-order rewriting. In addition, short 
versions of articles recently published or submitted elsewhere on 
higher-order rewriting are welcome.

Submissions should be between 2 and 5 pages in PDF format.

The proceedings of HOR 2016 will be included on the FSCD electronic 
proceedings.' There will be no printed proceedings or post-workshop 
proceedings.

All contributions should be submitted via Easychair: 
https://easychair.org/conferences/?conf=hor2016

IMPORTANT DATES

Submission: April 25, 2016

Notification May 9, 2016

Final version: May 30, 2016

Workshop: June 25, 2016

PROGRAM COMMITTEE

* Takahito Aoto (Niigata University)

* Dan Dougherty (Worcester Polytechnic Institute)

* Jeroen Ketema (Codeplay Software Ltd)

* Alexis Saurin (Université Paris 7)

* Jakob Grue Simonsen (University of Copenhagen, Chair)

WEB PAGES

HOR 2016: http://www.diku.dk/hjemmesider/ansatte/simonsen/HOR2016/

HOR series of workshops: http://hor.pps.univ-paris-diderot.fr

FSCD 2016 homepage: fscd2016.dcc.fc.up.pt/

FURTHER INFORMATION

Contact simonsen at diku.dk