----------------------------------------------------------------------
**
** **** SECOND 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)
Dear all,
please find below the first CfP for WST 2023. (If you have already found
dates on the web, please note that they are updated.)
Best,
Akihisa
======================================================================
WST 2023 - Call for Papers
19th International Workshop on Termination
https://termination-portal.org/wiki/WST2023
August 24-25, 2023, Obergurgl, Austria
Co-located with 12th International Workshop on Confluence (IWC 2023)
======================================================================
The Workshop on Termination (WST) traditionally brings together, in an
informal setting, researchers interested in all aspects of
termination, whether this interest be practical or theoretical,
primary or derived. The workshop also provides a ground for
cross-fertilization of ideas from the different communities interested
in termination (e.g., working on computational mechanisms, programming
languages, software engineering, constraint solving, etc.). The
friendly atmosphere enables fruitful exchanges leading to joint
research and subsequent publications.
IMPORTANT DATES:
* submission deadline: June 1, 2023
* notification: June 15, 2023
* final version due: July 27, 2023
* workshop: August 24-25, 2023
INVITED SPEAKERS:
TBA
TOPICS:
The 19th International Workshop on Termination welcomes contributions
on all aspects of termination. In particular, papers investigating
applications of termination (for example in complexity analysis,
program analysis and transformation, theorem proving, program
correctness, modeling computational systems, etc.) are very welcome.
Topics of interest include (but are not limited to):
* termination and complexity analysis in any domain (declarative
programming, lambda calculus, procedural programming, rewriting,
transition systems, etc.)
* probabilistic termination, termination probability and expected
complexity analysis
* abstraction methods in termination analysis
* certification of termination and complexity proofs
* challenging termination problems
* comparison and classification of termination methods
* implementation of termination analysis methods
* non-termination analysis and loop detection
* normalization and infinitary normalization
* operational termination of logic-based systems
* ordinal notation and subrecursive hierarchies
* SAT, SMT, and constraint solving for (non-)termination analysis
* scalability and modularity of termination methods
* well-founded relations and well-quasi-orders
SUBMISSION GUIDELINES:
Submissions are short papers/extended abstracts which should not
exceed 5 pages. There will be no formal reviewing. In particular, we
welcome short versions of recently published articles and papers
submitted elsewhere. The program committee checks relevance and
provides additional feedback for each submission. The accepted papers
will be made available electronically before the workshop.
Papers should be submitted electronically via the submission page:
https://easychair.org/my/conference?conf=wst2023
Please, use LaTeX and the LIPIcs style file
https://www.dagstuhl.de/en/publishing/series/details/LIPIcs
to prepare your submission.
PROGRAM COMMITTEE:
* Martin Avanzini, INRIA Sophia Antipolis
* Florian Frohn, RWTH Aachen
* Carsten Fuhs, Birkbeck, U. London
* Raúl Gutiérrez, U. Politécnica de Madrid
* Étienne Payet, U. La Réunion
* Albert Rubio, Complutense U. Madrid
* René Thiemann, U. Innsbruck
* Deivid Vale, Radboud U. Nijmegen
* Johannes Waldmann, HTWK Leipzig
* Akihisa Yamada, AIST Tokyo Waterfront (chair)
