[TYPES/announce] HOR 2007 Call for Participation (Higher-Order Rewriting 2007)

Ralph Matthes matthes at informatik.uni-muenchen.de
Fri May 25 11:56:25 EDT 2007


              ***************************************
              *                                     *
              *  HOR 2007   CALL FOR PARTICIPATION  *
              *                                     *
              ***************************************

        4th International Workshop on Higher-Order Rewriting

               Monday June 25, 2007, Paris, France

                  http://www.rdp07.org/hor.html

HOR 2007 is part of RDP 2007 in Paris.

This year, HOR enjoys additionally the status of a "small workshop" of
the TYPES project, see http://www.cs.chalmers.se/Cs/Research/Logic/Types/

There is also a "small TYPES workshop" on Type theory, proof theory
and rewriting (TPR '07), 4 days later in Paris.

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

INVITED TALKS:

* Carsten Schürmann (IT University of Copenhagen, Denmark)
    On the formalization of logical relation arguments in Twelf
* Tarmo Uustalu (Institute of Cybernetics, Tallinn University of 
Technology, Estonia)
    Circular proofs = Mendler in sequent form

TALKS:

* Andreas Abel
    Syntactical strong normalization for intersection types with term 
rewriting rules
* Lisa Allali
    Algorithmic equality in Heyting arithmetic modulo
* Takahito Aoto and Toshiyuki Yamada
    Argument filterings and usable rules for simply typed dependency pairs
* Lionel Marie-Magdeleine and Serguei Soloviev
    Non-standard reductions in simply-typed, higher order and 
dependently-typed systems
* Kristoffer Rose
    CRSX - an open source platform for experiments with higher-order 
rewriting
* Max Schäfer
    Elements of a categorical semantics for the Open Calculus of 
Constructions
* Daniel Ventura, Mauricio Ayala-Rincon and Fairouz Kamareddine
    Principal typings for explicit substitutions calculi

SYSTEM DEMO:

* Kristoffer Rose
    Demonstration of CRSX

Short abstracts can also be found through the URL
  http://www.irit.fr/~Ralph.Matthes/HOR/

REGISTRATION:
  This has to be done before *May 31* through the facilities on the RDP 
web site
  http://www.rdp07.org/

PROCEEDINGS:
  The accepted contributed extended abstracts of HOR 2007 are distributed
  to the participants and will be made available via the HOR web page.

PROGRAM COMMITTEE:
  Herman Geuvers (Radboud University Nijmegen, Netherlands)
  Makoto Hamana (Gunma University, Japan)
  Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair
  Albert Rubio (Technical University of Catalonia, Spain)
  Mark-Oliver Stehr (SRI International, U.S.A.)

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

LOCAL ARRANGEMENTS:
  The organizers of RDP 2007 (Antonio Bucciarelli, Vincent Padovani,
  Ralf Treinen, Xavier Urbain).




More information about the Types-announce mailing list