International Conference on
Rewriting, Deduction, and Programming
June 29 to July 3, 2015
Warsaw, Poland

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

RDP 2015 at a glance

June 25-27
Thursday-Saturday
June 28
Sunday
June 29
Monday
June 30
Tuesday
July 1
Wednesday
July 2
Thursday
July 3
Friday
 
 RTA 2015 
 
 RTA 2015   RTA 2015 
 
 TLCA 2015 
 
 
 TLCA 2015 
 
 
 TLCA 2015 
 
HDRA
IFIP WG 1.6
UNIF
HDRA
HoTT/UF
HoTT/UF WPTE
PhD Open Tutorial,
Ugo Dal Lago
Tutorials
Welcome reception Business meeting
Excursion
Social dinner

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

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.

Important information

Plenary speakers

Google+
Valid XHTML 1.1 Valid CSS!