Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] HOR 2023: Call for Participation

Email Gateway (May 31 2023 at 13:30):

From: Carsten Fuhs <carsten@dcs.bbk.ac.uk>

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

Last updated: Jan 04 2025 at 20:18 UTC