[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]---------------------------------------------------------------------- ** ** **** 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
