RDP 2015 is the eighth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of

• RTA (Rewriting Techniques and Applications), June 29-July 1, see RTA 2015 web site for call for papers, and
• TLCA (Typed Lambda Calculi and Applications), July 1-3, see TLCA 2015 web site for call for papers.

RDP 2015 at a glance

Organisation

RDP 2015 will be held at the University of Warsaw Ochota campus.

• RTA PC chair: Maribel Fernandez (London)
• TLCA PC chair: Thorsten Altenkirch (Nottingham)
• Organisation:
  • Aleksy Schubert (RDP chair)
  • Paweł Urzyczyn
  • Marcin Benke
  • Jacek Chrząszcz
  • Krystyna Jaworska
  • Daria Walukiewicz-Chrząszcz
  • Maciej Zielenkiewicz
  • Patryk Czarnik
  • Łukasz Czajka

Past editions

Previous editions of RDP took place in

• Eindhoven (The Netherlands) 2013
• Novi Sad (Serbia) 2011
• Brasilia (Brasil) 2009
• Paris (France) 2007
• Nara (Japan) 2005
• Aachen (Germany) 2004
• Valencia (Spain) 2003

The conference is organised by Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics University of Warsaw.

The conference will be held in the Center of New Technologies University of Warsaw in Warsaw, Poland.

Contact

RDP 2015, Institute of Informatics, University of Warsaw
Banacha 2, 02-097 Warszawa, Poland
phone: +48 22 5544 485
fax: +48 22 5544 400
e-mail:

You must turn on JavaScript to see the email address.

The conference is partly supported by WCMCS.