Please note that this newsitem has been archived, and may contain outdated information or links.
23-28 June 2013, 7th International Conference on Rewriting, Deduction, and Programming (RDP 2013), Eindhoven, The Netherlands
Date: 23-28 June 2013
Location: Eindhoven, The Netherlands
Deadline: 1 February 2013
RDP 2013 consists of:
RTA (Rewriting Techniques and Applications), June 24-26, and
TLCA (Typed Lambda Calculi and Applications), June 26-28, and
Workshops on June 24-25 and June 27-28.
For more information, see http://www.win.tue.nl/rdp2013/
The Programme Committee cordially invites all researchers to submit papers for RTA (deadline: 1 February 2013) or TLCA (deadline: 25 January 2013), or workshop proposals for RDP-2013 itself (deadline: 1 December 2012).
Please note that this newsitem has been archived, and may contain outdated information or links.