Invited Talks.- Rewriting, Inference, and Proof.- Twenty Years of Rewriting Logic.- Termination and Narrowing.- Proving Termination in the Context-Sensitive Dependency Pair Framework.- A Dependency Pair Framework for A???C-Termination.- Folding Variant Narrowing and Optimal Variant Termination.- Tools.- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications.- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories.- The K Framework.- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.- Collecting Semantics under Predicate Abstraction in the K Framework.- Applications and Semantics.- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.- A Formal Pattern Architecture for Safe Medical Systems.- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages.- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.- Maude Model Checking and Debugging.- The Linear Temporal Logic of Rewriting Maude Model Checker.- Enhancing the Debugging of Maude Specifications.- Rewrite Engines.- The Third Rewrite Engines Competition.
