From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=DATE_IN_PAST_24_48, LOCALPART_IN_SUBJECT,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 25402 invoked from network); 2 Jun 2023 01:19:04 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 2 Jun 2023 01:19:04 -0000 Received: from rr.mta.ca ([198.164.44.159]:48442) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1q4tNU-00061Y-6O; Thu, 01 Jun 2023 22:14:52 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1q4tNA-0001WB-KR for categories-list@rr.mta.ca; Thu, 01 Jun 2023 22:14:32 -0300 Date: Wed, 31 May 2023 14:30:17 +0100 MIME-Version: 1.0 From: Carsten Fuhs Subject: categories: HOR 2023: Call for Participation Content-Language: en-GB To: categories@mta.ca Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit Precedence: bulk Reply-To: Carsten Fuhs Message-Id: ---------------------------------------------------------------------- ** ** **** CALL FOR PARTICIPATION **** ** ** HOR 2023 - 11th International Workshop on Higher-Order Rewriting ** 4 July 2023 ** Rome, Italy ** ** https://hor2023.github.io/ ---------------------------------------------------------------------- ** ** HOR 2023 is affiliated with FSCD 2023 ** https://easyconferences.eu/fscd2023/ ** ---------------------------------------------------------------------- * 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://easyconferences.eu/fscd2023/registration1/ 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://hor2023.github.io/#accepted ---------------------------------------------------------------------- ** 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]