[TYPES/announce] HOR 2023: Call for Participation

[Carsten Fuhs]

----------------------------------------------------------------------
**
**      ****    CALL FOR PARTICIPATION    ****
**
**    HOR 2023 - 11th International Workshop on Higher-Order Rewriting
**    4 July 2023
**    Rome, Italy
**
**    https://urldefense.com/v3/__https://hor2023.github.io/__;!!IBzWLUs!XdFCv_Ob2o5sVkhbbS_tCNju0ZyboxShXJ2fIG7XqLBEUxvTb2cDvm-0EVqvnYUBA9MeL8xZTRz886fmU8PN3cCWjO6XwJ4Za5zW$ 
----------------------------------------------------------------------
**
**    HOR 2023 is affiliated with FSCD 2023
**    https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!XdFCv_Ob2o5sVkhbbS_tCNju0ZyboxShXJ2fIG7XqLBEUxvTb2cDvm-0EVqvnYUBA9MeL8xZTRz886fmU8PN3cCWjO6XwLEeGIH_$ 
**
----------------------------------------------------------------------

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

----------------------------------------------------------------------
** REGISTRATION
----------------------------------------------------------------------

The registration page for FSCD 2023 and affiliated events, such as
HOR 2023, is available here:

https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/registration1/__;!!IBzWLUs!XdFCv_Ob2o5sVkhbbS_tCNju0ZyboxShXJ2fIG7XqLBEUxvTb2cDvm-0EVqvnYUBA9MeL8xZTRz886fmU8PN3cCWjO6XwADg-uEt$ 

The early registration deadline is *** 31 May 2023 ***.

Attending HOR 2023 is possible both in-person and remotely.

----------------------------------------------------------------------
** INVITED SPEAKER
----------------------------------------------------------------------

Pablo Barenbaum – Universidad de Buenos Aires, Argentina

----------------------------------------------------------------------
** ACCEPTED PAPERS
----------------------------------------------------------------------

The list of accepted papers is available here:

https://urldefense.com/v3/__https://hor2023.github.io/*accepted__;Iw!!IBzWLUs!XdFCv_Ob2o5sVkhbbS_tCNju0ZyboxShXJ2fIG7XqLBEUxvTb2cDvm-0EVqvnYUBA9MeL8xZTRz886fmU8PN3cCWjO6XwGi8gqsy$ 

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

* Takahito Aoto - Niigata University, Japan
* Maribel Fernández - King's College London, United Kingdom
* Carsten Fuhs (Chair) - Birkbeck, University of London, United Kingdom
* Delia Kesner - Université Paris 7, France
* Cynthia Kop - Radboud Universiteit Nijmegen, The Netherlands
* Damiano Mazza - Université Paris 13, France

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

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