Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip 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/
**


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.

The following is a non-exhaustive list of topics for the workshop:


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



** COMMITTEES


** PROGRAM COMMITTEE


** STEERING COMMITTEE


** INVITED SPEAKERS



** CONTACT


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


Last updated: Mar 29 2024 at 04:18 UTC