----------------------------------------------------------------------
**
** **** CALL FOR SUBMISSIONS ****
**
** 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.
* TOPICS
The following is a non-exhaustive list of topics for the workshop:
- Applications: proof checking, theorem proving, generic
programming, declarative programming, program transformation,
automated termination/confluence/equivalence analysis tools.
- Foundations: pattern matching, unification, strategies, narrowing,
termination, syntactic properties, type theory, complexity of
derivations.
- Frameworks: term rewriting, conditional rewriting, graph
rewriting, net rewriting, comparisons of different frameworks.
- Implementation: explicit substitution, rewriting tools,
compilation techniques.
- Semantics: semantics of higher-order rewriting, categorical
rewriting, higher-order abstract syntax, games and rewriting.
----------------------------------------------------------------------
** SUBMISSION GUIDELINES
----------------------------------------------------------------------
To give a presentation at the workshop, please submit an extended
abstract (between 2 to 5 pages) via Easychair:
https://easychair.org/conferences/?conf=hor2023
Please use LaTeX and the Easychair style to prepare your submission:
https://easychair.org/publications/easychair.zip
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. Specifically,
short versions of recently published papers are welcome, and
submission to HOR does not preclude formal publication at other
venues.
The workshop has informal electronic proceedings that will be made
available on the workshop website.
----------------------------------------------------------------------
** IMPORTANT DATES
----------------------------------------------------------------------
* Submission deadline: 2 May 2023
* Notification: 29 May 2023
* Final version: 12 June 2023
----------------------------------------------------------------------
** 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
----------------------------------------------------------------------
** CONTACT
----------------------------------------------------------------------
All questions about submissions should be emailed to the PC chair
Carsten Fuhs (hor2023 at easychair.org)
(Apologies for multiple copies of this announcement. Please circulate.)
---------------
Call for Location for FSCD 2025
The FSCD conference covers all aspects of Formal Structures for
Computation and Deduction from theoretical foundations to
applications. The annual FSCD conference comprises the main
conference and a considerable number of affiliated workshops
(expectedly, more than ten).
We invite proposals for locations to host the 10th FSCD International
Conference to be held during the summer of 2025. The deadline for proposals is
*** 27th May 2023 ***
Proposals should be sent to the FSCD Steering Committee Chair (see
contact information below). We encourage proposers to register their
intention informally as soon as possible.
Previous (and upcoming) FSCD meetings include:
FSCD 2016 in Porto (Portugal);
FSCD 2017 in Oxford (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC 2018;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co-located with IJCAR 2020;
FSCD 2021 in Buenos Aires (Argentina);
FSCD 2022 in Haifa (Israel) as part of FLOC2022;
FSCD 2023 in Rome (Italy) co-located with CADE 2023;
FSCD 2024 in Tallinn (Estonia).
Selected proposals are to be presented at the business meeting of FSCD
2023 taking place in Rome in July 2023. The final decision about
hosting and organising of FSCD 2025 will be taken by the SC after an
advisory vote of the members of the community in attendance at the
business meeting.
Proposals should address the following points:
* FSCD Conference Chair (complete name and current position), host
institution, FSCD Local Committee (complete names and current
positions), availability of student-volunteers.
* National, regional, and local government and industry support, both
organizational and financial.
* Accessibility to the location (i.e., transportation) and
attractiveness of the proposed site. Accessibility can include both
information about local transportation and travel information to the
location (flight and/or train connections), as well as estimated
costs.
* Proposed dates, including allowing 2-3 days before and/or after the
main conference for affiliated workshops. (Please also take into
consideration holidays or local events during the period).
* Estimated costs of registration for the conference and workshops,
both for regular and student participants.
* Conference and exhibit facilities for the anticipated number of
registrants (including all workshop participants, typically around 200).
For example:
= number, capacity and audiovisual equipment of meeting rooms;
= a large plenary session room that can hold all the registrants;
= enough rooms for parallel session workshops/tutorials in the two
days before and the two days after the main conference;
= internet connectivity and workstations for demos/competitions;
= catering services;
= presence of professional staff.
* Support for hybrid attendance to the conference.
* Residence accommodations and food services in a range of price
categories and close to the conference venue, for example, number
and cost range of hotels, and availability and cost of dormitory
rooms (e.g., at local universities) and kind of services they offer.
* Other relevant information, which can include information about
leisure activities and attractiveness of the location (e.g.,
cultural and historical aspects, touristic activities, etc...).
Contact information:
Herman Geuvers
herman(a)cs.ru.nl
FSCD SC Chair
