The Coq mailing list

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

The Fourth International School on Rewriting (ISR'09) will be held at
Universidade de Brasília, the week before RDP'09, the Federated
Conference on Rewriting, Deduction, and Programming. The school is
organized for Master and PhD students, researches and practitioners
interested in the study of rewriting concepts and applications. In
addition, the school is divided in two tracks (A and B) in order to
accommodate the different backgrounds of the participants. The courses
allocated on track A are for the participants without previous exposure
to rewriting, while the courses on track B are advanced lectures on
recent developments and applications. The lectures will be given by some
of the best experts on rewriting and applications.

Lecturers:
- Franz Baader (TU Dresden)
        - Introduction to Term Rewriting
- Maribel Fernandez (King's College London)
        - Nominal Rewriting
- Bernhard Gramlich (TU Wien)
        - Advanced Course on Conditional Rewriting
- Fairouz Kamareddine (Heriot-Watt University)
        - Traditional and non Traditional Typed Lambda-calculi
        - Extensions of Typed Lambda-calculi with Applications in Logic,      
  
Programming Languages and Formalisation of Mathematics
- Delia Kesner (Université Paris Diderot (VII))
        - Higher-order Rewriting with Resources
- Aart Middeldorp (Universität Innsbruck)
        - Advanced Topics in Termination
- Hitoshi Ohsaki (AIST)
        - Introduction to Tree Automata
        -  Equational Tree Automata
- Luca Paolini (Università di Torino)
        - Parametric Lambda Calculus


 The basic registration fee includes:

    * full board accommodation from Sunday 21 June (arrival) until
        Saturday 27 July (departure),
    * attendance for Track A or Track B,
    * course material for Track A and Track B.

Modest grants, mainly for covering local expenses, will be available for
participants with financial restrictions. To apply send a very brief
email to 
isr09 AT cic.unb.br
 stating your academic experience and
explaining how your academic career and research will be benefited from
attending ISR 2009.

Early registration finishes May 15, 2009!!

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

ISR 2009 Organizing Committee.