Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] HOR 2019 - 2nd Call for Submissions

Email Gateway (Aug 22 2022 at 19:32):

From: Julian Nagele <j.nagele@qmul.ac.uk>

**
CALL FOR SUBMISSIONS **
**
** HOR 2019 - 10th International Workshop on Higher-Order Rewriting
** 28 June 2019
** Dortmund, Germany
**
** http://imft.ftn.uns.ac.rs/HOR2019

**
** HOR 2019 is affiliated with FSCD 2019
** http://easyconferences.eu/fscd2019/
**

• 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.

• Foundations: pattern matching, unification, strategies, narrowing,
  termination, syntactic properties, type theory.

• Frameworks: term rewriting, conditional rewriting, graph
  rewriting, net rewriting, comparisons of different frameworks.

• Implementation: graphs, nets, abstract machines, explicit
  substitution, rewriting tools, compilation techniques.

• Semantics: operational semantics, denotational semantics,
  separability, higher-order abstract syntax.

** SUBMISSION GUIDELINES

To give a presentation at the workshop, submit an extended abstract
(between 2 to 5 pages} via Easychair

https://easychair.org/conferences/?conf=hor2019

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.

The workshop has informal electronic proceedings.

** IMPORTANT DATES

• Submission deadline: 15 April 2019
• Notification: 17 May 2019
• Final version: 31 May 2019

** COMMITTEES

** PROGRAM COMMITTEE

• Silvia Ghilezan, chair, University of Novi Sad, Serbia
• Stefano Guerrini, Paris 13 University, France
• Masahito Hasegawa, Kyoto University, Japan
• Cynthia Kop, Radboud University, The Netherlands
• Pierre Lescanne, Ecole Normale Supérieure de Lyon, France
• Julian Nagele, Queen Mary University of London, UK
• Vincent van Oostrom, University of Innsbruck, Austria

** STEERING COMMITTEE

• Delia Kesner, Université Paris 7, France
• Femke Van Raamsdonk, Vrije Universiteit, The Netherlands

** INVITED SPEAKERS

• TBA
• TBA

** CONTACT

All questions about submissions should be emailed to the PC chair
Silvia Ghilezan (gsilvia@uns.ac.rs)

Last updated: Nov 21 2024 at 12:39 UTC