[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[ Apologies for multiple copies ]
**********************************************************************
Call for Participation
Second International School on Rewriting
ISR'2007, July 2-6, 2007
Nancy, France
http://isr2007.loria.fr/
**********************************************************************
----------------------------------------------------------------------
Overview
----------------------------------------------------------------------
Rewriting is a fundamental concept and tool in computer science, logic
and mathematics. It models the notion of transition or elementary
transformation of abstract entities as well as common data structures
like terms, strings, graphs. Rewriting is central in computation as
well as deduction and is a crucial concept in semantics of programming
languages as well as in proof theory. This results from a long
tradition of cross-fertilization with the lambda-calculus and
automated reasoning research communities.
This second International School on Rewriting is organized for Master
and PhD students, researchers and practitioners interested in the
study of rewriting concepts and applications.
This school is supported by the IFIP Working Group on Term
Rewriting. The lectures will be given by some of the best experts on
rewriting (termination, higher-order systems, strategies, ...) and
applications (security, theorem proving, program analysis and proofs,
...).
ISR'2007 will hold in Nancy, just after the RDP Conference in Paris:
http://www.rdp07.org/
This will be a good opportunity to take the new TGV Est Europeen,
reaching Nancy from Paris in 90 minutes!
----------------------------------------------------------------------
Lecturers
----------------------------------------------------------------------
Hassan Ait Kaci, ILOG, France
Franz Baader, Dresden University, Germany
Gilles Dowek, Ecole Polytechnique & INRIA, France
Thomas Genet, Universite de Rennes I & IRISA, France
Juergen Giesl, Aachen University, Germany
Denis Lugiez, Universite de Provence, France
Christopher Lynch, Clarkson University, USA
Pierre-Etienne Moreau, INRIA & LORIA, France
Vincent van Oostrom, Utrecht University, Netherlands
Detlef Plump, University of York, UK
Femke van Raamsdonk, Free University Amsterdam, Netherlands
Michael Rusinowitch, INRIA & LORIA, France
----------------------------------------------------------------------
Contents
----------------------------------------------------------------------
- Introduction to term rewriting
- Termination of term rewriting and applications
- Higher order rewrite systems
- Call by need, call by value
- Compilation and implementations
- Applications: Security, Business rules, Theorem proving, Program
analysis and proofs
- Advanced topics: Graph rewriting, Tree automata, Deduction modulo
----------------------------------------------------------------------
Scientific Committee
----------------------------------------------------------------------
- Juergen Giesl (Aachen)
- Claude Kirchner (Nancy), chair
- Pierre Lescanne (Lyon)
- Christopher Lynch (Potsdam)
- Aart Middeldorp (Innsbruck)
- Femke van Raamsdonk (Amsterdam)
- Yoshihito Toyama (Sendai)
- Laurent Vigneron (Nancy), local organization chair
----------------------------------------------------------------------
Further Information
----------------------------------------------------------------------
For up-to-date details on the school organization, visit the official
web page:
http://isr2007.loria.fr/
or contact the organizers by e-mail: isr2007(at)loria(dot)fr
