[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
---------------------------------------------------------------------- **** CALL FOR SUBMISSIONS **** ** HOR 2019 - 10th International Workshop on Higher-Order Rewriting ** 28 June 2019 ** Dortmund, Germany ** affiliated with FSCD 2019 ** http://imft.ftn.uns.ac.rs/HOR2019 <http://imft.ftn.uns.ac.rs/HOR2019> ---------------------------------------------------------------------- ** IMPORTANT DATES ---------------------------------------------------------------------- * Submission deadline: 25 April 2019 (extended deadline) * Notification: 17 May 2019 * Final version: 31 May 2019 ---------------------------------------------------------------------- * 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 <https://easychair.org/conferences/?conf=hor2019>:// <https://easychair.org/conferences/?conf=hor2019>easychair <https://easychair.org/conferences/?conf=hor2019>.org/conferences/? <https://easychair.org/conferences/?conf=hor2019>conf <https://easychair.org/conferences/?conf=hor2019>= <https://easychair.org/conferences/?conf=hor2019>hor2019 <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. ---------------------------------------------------------------------- ** 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 (gsil...@uns.ac.rs <mailto:gsil...@uns.ac.rs>) -- -- ====================================== Silvia Ghilezan, Ph.D. Professor Faculty of Technical Sciences, University of Novi Sad Trg Dositeja Obradovica 6 21000 Novi Sad, Serbia tel + 381 21 485 2277 fax + 381 21 6350 770 http://imft.ftn.uns.ac.rs/~silvia