The Coq mailing list

["Flavio L. C. de Moura" <flaviomoura AT unb.br>]

The Fifth International Conference on Rewriting, Deduction, and
Programming (RDP 2009) will be held at Universidade de Brasilia the week
after the Fourth International School on Rewriting (ISR 2009). RDP 2009
consists of two main conferences:

    * Rewriting Techniques and Applications (RTA'09)
    * Typed Lambda Calculi and Applications (TLCA'09)

Organising Committee
# Mauricio Ayala Rincón, Brasília (Conference Chair)
# David Deharbe, Natal
# Flávio L. C. de Moura, Brasília
# Hermann Haeusler, Rio de Janeiro
# Elaine Pimentel, Belo Horizonte
# Alejandro Ríos (Argentinian Liaison)
# Alberto Pardo (Uruguayan Liaison)

RTA is the major forum for the presentation of research on all aspects
of rewriting. RTA'09 proceedings will be published by Springer-Verlag in
the Lecture Notes in Computer Science series.

Best Paper Award: A prize of 500 Euro will be given to the best paper as
judged by the program committee. The program committee may decline to
make the award or may split it among several papers.

There will be three invited talks, one of which will be joint with TLCA.

    * Vincent Danos
    * Bob Harper               (Joint Speaker RTA'09 + TLCA'09)
    * Johannes Waldmann

General Chair

    * Mauricio Ayala Rincón (Brasília, Brazil)

Program Committee
Takahito Aoto (Sendai, Japan)   
Aart Middeldorp (Innsbruck, Austria)
Franz Baader (Dresden, Germany)         
Hitoshi Ohsaki (Osaka, Japan)
Eduardo Bonelli (Buenos Aires, Argentina)       
Vincent van Oostrom (Utrecht, The Netherlands)
Dan Dougherty (Worcester, USA)  
Elaine Pimentel (Belo Horizonte, Brazil)
Rachid Echahed (Grenoble, France)       
Femke van Raamsdonk (Amsterdam, The Netherlands)
Santiago Escobar (Valencia, Spain)      
Manfred Schmidt-Schauss (Frankfurt, Germany)
Neil Ghani (Glasgow, GB)        
Sophie Tison (Lille, France)
Jürgen Giesl (Aachen, Germany)  
Ashish Tiwari (Stanford, USA)
Jean Goubault-Larrecq (Cachan, France)  
Ralf Treinen, PC Chair (Paris, France)

The programme of TLCA'09 will consist of three invited talks (one common
with the Conference Rewriting Techniques and Applications) and about 25
papers selected from original contributions. TLCA'09 proceedings will be
published by Springer-Verlag in the Lecture Notes in Computer Science
series.

There will be three invited talks, one of which will be joint with RTA.

    *  Marcelo Fiore           (Univ. of Cambridge)
    *  Bob Harper               (Carnegie Mellon Univ. - Joint Speaker
RTA'09 + TLCA'09)
    *  Jean-Louis Krivine    (Univ. Paris 7)



Program Committee
Zena Ariola, University of Oregon
Patrick Baillot, CNRS and ENS Lyon
Thierry Coquand, Goteborg University,
Pierre-Louis Curien , CNRS and University Paris 7 (PC Chair)
René David , Université de Savoie
Dan Ghica , University of Birmingham
Ryu Hasegawa , Tokyo University
Barry Jay , University of Technology, Sydney
Soren Lassen , Google, Sydney
Luca Paolini , University of Torino
Frank Pfenning , Carnegie Mellon University
Thomas Streicher , Technical University of Darmstad

TLCA Steering Committe:
Samson Abramsky, Oxford, chair
Henk Barendregt, Nijmegen
Mariangiola Dezani-Ciancaglini, Turin
Roger Hindley, Swansea
Martin Hofmann, Munich
Pawel Urzyczyn, Warsaw
Simona Ronchi Della Rocca, Turin

TLCA Publicity Chair
Luca Paolini


Early registration finishes May 15, 2009!!

More Information: http://rdp09.cic.unb.br

RDP 2009 Organizing Committee.