Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.