Organizers: A. Schubert, P.Urzyczyn, M. Benke, J. Chrzaszcz, D. Walukiewicz-Chrzaszcz, M. Zielenkiewicz, P. Czarnik, L. Czajka
RDP 2015 is the eighth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of
* RTA (Rewriting Techniques and Applications), and
* TLCA (Typed Lambda Calculi and Applications).
The International Conference on Rewriting Techniques and Applications (RTA) is the major conference in the domain of rewriting, which is the paradigmatic concept covering issues related to computational models and semantics of programming languages.
The Typed Lambda Calculi and Applications (TLCA) series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed calculi, which are one of the fundamental notions that make it possible to express and study invariant properties of computations.
webpage: http://rdp15.mimuw.edu.pl/