HOR 2019 - Call for Submissions

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


----------------------------------------------------------------------
**
**      ****    CALL FOR SUBMISSIONS     ****
**    
**    HOR 2019 - 10th International Workshop on Higher-Order Rewriting
**    28 June 2019
**    Dortmund, Germany
**    
**    http://imft.ftn.uns.ac.rs/HOR2019
----------------------------------------------------------------------
**
**    HOR 2019 is affiliated with FSCD 2019
**    http://easyconferences.eu/fscd2019/
**
----------------------------------------------------------------------

* 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 abstract
(between 2 to 5 pages} via Easychair

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

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. 

----------------------------------------------------------------------
** IMPORTANT DATES
----------------------------------------------------------------------

* Submission deadline: 15 April 2019
* Notification: 17 May 2019
* Final version: 31 May 2019

----------------------------------------------------------------------
** COMMITTEES
----------------------------------------------------------------------
** PROGRAM COMMITTEE

* Silvia Ghilezan, chair, University of Novi Sad, Serbia
* Stefano Guerrini, Paris 13 University, France
* Masahito Hasegawa, Kyoto University, Japan
* Cynthia Kop, Radboud University, The Netherlands
* Pierre Lescanne, Ecole Normale Supérieure de Lyon, France
* Vincent van Oostrom, University of Innsbruck, Austria

----------------------------------------------------------------------
** STEERING COMMITTEE

* Delia Kesner, Université Paris 7, France
* Femke Van Raamsdonk, Vrije Universiteit, The Netherlands

----------------------------------------------------------------------
** INVITED SPEAKERS
----------------------------------------------------------------------

* TBA
* TBA

----------------------------------------------------------------------
** CONTACT
----------------------------------------------------------------------

All questions about submissions should be emailed to the PC chair 
Silvia Ghilezan  ([email protected] <mailto:[email protected]>)