[Termtools] Call for Participation: HOR'12, Nagoya

[Frederic Blanqui]

Note the special session on higher-order termination tools! So, don't 
forget to register to HOR'12! :-)

Le 10/05/2012 07:44, Frederic Blanqui a écrit :
> =====================================================================
> Call for Participation
> 6th International Workshop on Higher-Order Rewriting
>
> HOR 2012
>
> June 2, 2012, Nagoya, Japan
> Colocated with RTA'12
> http://www.cs.gunma-u.ac.jp/events/hor/
> ======================================================================
>
> HOR 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 concerning higher-order rewriting.
>
> Invited speaker
> ---------------
> * Zhenjiang Hu (National Institute of Informatics, Japan)
> Can Graph Transformation be Bidirectionalized?
> -- Bidirectional Semantics of Structural Recursion on Graphs --
>
> Special Session: Current Status of Higher-Order Termination Tools
> -----------------------------------------------------------------
> * Carsten Fuhs: Haskell termination tool
> * Rene Thiemann: Isabelle termination tool
> * Aoto,Yamada: Simply-typed TRS termination tool
> * Cynthia Kop: WANDA, termination tool for AFS
>
> Accepted papers
> ----------------
> * Beniamino Accattoli and Delia Kesner: The permutative lambda-calculus
> (The original paper was presented at LPAR'12, LNCS 7180, pp.381-395)
>
> * Thibaut Balabonski: A Unified Approach to Fully Lazy Sharing
> (The original paper was presented at POPL'12, pp.233-246)
>
> * Yuki Chiba and Takahito Aoto: Pattern Matching Algorithm for Higher
> Order Program Transformations
> * Jean-Pierre Jouannaud and Jian-Qi Li: Termination of higher-order
> rewriting in dependent type calculi
> * Vincent van Oostrom: Confluence via Critical Valleys
> * Kristoffer Rose: Higher Order Rewriting for Real Programmers