[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