[TYPES/announce] Call for Workshops RDP 2013: RTA + TLCA
herman at cs.ru.nl
Fri Nov 9 17:00:42 EST 2012
Call for Workshops RDP 2013: RTA + TLCA
June 23 to June 28, 2013, Eindhoven, The Netherlands
RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the
International Conference on Rewriting, Deduction, and Programming,
consisting of two main conferences RTA (Rewriting Techniques and
Applications), June 24-26, and TLCA (Typed Lambda Calculi and
Applications), June 26-28.
Workshop proposals for RDP 2013 are solicited for the days June 24
(Monday), June 25 (Tuesday), June 27 (Thursday) and June 28 (Friday).
Both well-established workshops and newer ones are encouraged. Also
system competition proposals are solicited.
Due to the overlap with the conferences, workshops most related to TLCA
are expected to be on June 24 and 25, and workshops most related to RTA
are expected to be on June 27 and 28.
If you want to organize a workshop, please send the following
information to Hans Zantema h.zantema at tue.nl, no later than December 1,
* Workshop title and description of the topic,
* Names and affiliations of the organizers, and
* Proposed workshop duration (from half a day to two days).
Notification date: December 20.
Prof Dr Hans Zantema
Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen
Primary address: Department of Computer Science P.O. Box 513, 5600 MB
Eindhoven, The Netherlands
e-mail: H.Zantema at tue.nl, homepage: www.win.tue.nl/~hzantema
office: Metaforum room 7.067, tel: (040)2472749
More information about the Types-announce