[TYPES/announce] HOR 2019 - Deadline Extension

[Silvia Ghilezan]

----------------------------------------------------------------------

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

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

* Submission deadline: 25 April 2019 (extended deadline)
* Notification: 17 May 2019
* Final version: 31 May 2019

----------------------------------------------------------------------
* 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 <https://easychair.org/conferences/?conf=hor2019>:// <https://easychair.org/conferences/?conf=hor2019>easychair <https://easychair.org/conferences/?conf=hor2019>.org/conferences/? <https://easychair.org/conferences/?conf=hor2019>conf <https://easychair.org/conferences/?conf=hor2019>= <https://easychair.org/conferences/?conf=hor2019>hor2019 <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. 


----------------------------------------------------------------------
** 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
* Julian Nagele, Queen Mary University of London, UK
* 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  (gsilvia at uns.ac.rs <mailto:gsilvia at uns.ac.rs>)



-- 
--
======================================
Silvia Ghilezan, Ph.D.
Professor
Faculty of Technical Sciences, University of Novi Sad
Trg Dositeja Obradovica 6
21000 Novi Sad, Serbia
tel + 381 21 485 2277
fax + 381 21 6350 770
http://imft.ftn.uns.ac.rs/~silvia

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190418/989d6dcf/attachment-0001.html>