[TYPES/announce] HOR'2010 - Extended deadline

Eduardo Bonelli eabonelli at gmail.com
Mon Mar 22 17:03:22 EDT 2010


******************** extended deadline ********************
******************** extended deadline ********************

               **************************************
               *                                    *
               *   HOR 2010 - CALL FOR ABSTRACTS    *
               *       (extended deadline)          *
               **************************************

      5th International Workshop on Higher-Order Rewriting
                   (Affiliated with RTA'2010)
              Wednesday July 14, 2010, Edinburgh, UK

                 http://hor.pps.jussieu.fr/10/

IMPORTANT DATES:
  March   31, 2010 : deadline electronic submission of paper
  April   20, 2010 : notification of acceptance of papers
  May     17, 2010 : deadline for final version of accepted papers

HOR 2010 is a forum to present work concerning all aspects
of higher-order rewriting. The aim is to provide an informal and friendly
setting to discuss recent work and work in progress.

HOR 2010 is part of FLoC 2010 in Edinburgh.
HOR 2007 was part of RDP 2007 in Paris, France.
HOR 2006 was part of FLoC 2006 in Seattle, USA.
HOR 2004 was part of RDP 2004 in Aachen, Germany.
HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark.

TOPICS of interest include (but are not limited to):
  APPLICATIONS:   proof checking, theorem proving, generic programming,
                  declarative programming, program transformation,
                  automated termination/confluence 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

INVITED SPEAKERS:
  Maribel Fernández  King's College London, UK
  Silvia Ghilezan    University of Novi Sad, Serbia

PROGRAM COMMITTEE Zena Ariola University of Oregon, USA Frédéric
  Blanqui INRIA & Tsinghua University, China Eduardo Bonelli
  Universidad Nacional de Quilmes, Argentina, chair Mariangiola
  Dezani-Ciancaglini Università di Torino, Italy Roel de Vrijer Vrije
  Universiteit, The Netherlands http://style.eptcs.org/ HOR 2010
  SUBMISSIONS: Abstracts between 2 and 5 pages. As HOR is meant to be
  a platform to discuss ongoing research we are also interested in
  abstracts describing work in progress, or problems in higher-order
  rewriting.  Please use the EasyChair page
  http://www.easychair.org/conferences/?conf=hor2010 to submit or
  update your paper (updates are always possible before the
  deadline). The suggested formatting style is that of EPTCS
  (cf. http://style.eptcs.org/).  Please address your questions to the
  PC chair, under: ebonelli * gmail.com (where '*' is replaced by
  '@').

PROCEEDINGS:
  The proceedings of HOR 2010 will be made available on the HOR 2010
  web page and copies will be distributed to the participants at the
  workshop. Post-workshop proceedings of extended abstracts of
  selected contributions will be published as a volume of EPTCS.

STEERING COMMITTEE
  Delia Kesner         Université Paris 7, France
  Femke van Raamsdonk  Vrije Universiteit, The Netherlands

LOCAL ARRANGEMENTS:
  Venue Coordinator of the local organizing committee of FLoC'2010:
  Floris Geerts (fgeerts at inf.ed.ac.uk)


More information about the Types-announce mailing list