ISR'2007 will be held at LORIA, Nancy, France, July 2-6, 2007, the week following RDP 2007, the Federated Conference on Rewriting, Deduction, and Programming.
Registration closed.
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 first International School on Rewriting is organized for Master and PhD students, researchers and practitioners interested in the study of rewriting concepts and application.
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, ...).