HOR 2010

5TH INTERNATIONAL WORKSHOP ON HIGHER-ORDER REWRITING

WEDNESDAY JULY 14 2010

EDINBURGH, UK

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

IMPORTANT DATES

  • Deadline for submission: March 25 March 31
  • Notification: April 20
  • Final version due: May 17

NEWS

06/Jul/10HOR Room assignment: Informatics Forum building, Room G.07
21/May/10Preliminary informal proceedings are available
30/Apr/10Students interested in HOR travel grants should have their advisors send a brief statement certifying the applicants' educational status and describing the financial need and the merit of the applicant to ebonelli@unq.edu.ar. Deadline for applications is 15 May. A total of 500 euros is available for distribution among all approved applicants.
21/Apr/10Program
13/Apr/10Early registration for FLOC is open
22/Mar/10Extended deadline for submissions
02/Mar/10Limited funding for students available through GDR-IM sponsorship
18/Feb/10EPTCS post-workshop proceedings confirmed. EPTCS formatting style suggested for abstracts.
16/Dec/09Invited speakers confirmed.
05/Nov/09Website is up.


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 submission web sitehttp://www.easychair.org/conferences/?conf=hor2010. Suggested formatting style is that ofEPTCS. Please address your questions to the PC chair at ebonelli@unq.edu.ar.

INVITED SPEAKERS

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

PROGRAM

The following program includes accepted and invited talks. 

09:00-10:00Maribel Fernández (Invited Speaker)Closed nominal rewriting: properties and applications
10:00-10:30Coffee break
10:30-11:00Alejandro Díaz-caro, Simon Perdrix, Christine Tasson and Benoît ValironEquivalence of algebraic lambda-calculi
11:00-11:30Harald Zankl, Nao Hirokawa and Aart MiddeldorpUncurrying for Innermost Termination and Derivational Complexity
11:30-12:00Giulio Manzonetto and Paolo TranquilliA Calculus of Coercions Proving the Strong Normalization of MLF
12:00-12:30Cynthia Kop (Student Talk)A new formalism for higher-order rewriting
12:30-14:00Lunch
14:00-15:00Silvia Ghilezan (Invited Speaker)Computational interpretations of logic
15:00-15:30Coffee break
15:30-16:00Thibaut BalabonskiOn the Implementation of Dynamic Patterns
16:00-16:30Kristoffer RoseHigher-order Rewriting for Executable Compiler Specifications
16:30-17:00Ariel Mendelzon, Alejandro Ríos and Beta ZilianiSwapping: a natural bridge between named and indexed explicit substitution calculi
17:00-17:30Delia Kesner, Carlos Lombardi and Alejandro RíosStandardisation for constructor based pattern calculi

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. 

Informal proceedings available for download here

PROGRAM COMMITTEE

Zena Ariola   University of Oregon  USA
Frédéric Blanqui   INRIA & Tsinghua University  China
Eduardo Bonelli (chair)   Universidad Nacional de Quilmes  Argentina
Mariangiola Dezani-Ciancaglini   Università di Torino  Italy
Roel de Vrijer   Vrije Universiteit  The Netherlands

STEERING COMMITTEE

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

PREVIOUS EDITIONS


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 the RDP 2004 in Aachen, Germany.

HOR 2002 was part of FLoC 2002 in Copenhagen, Denmark. 

LOCAL ARRANGEMENTS


Please contact the FLOC'2010 organizing committee 




SPONSORS