[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple copies] =================================================================== Call for Papers First IFCoLog-RDP Student Session http://www.ifcolog.net/?page_id=6149 Novi Sad, Serbia 29 May 2011 An associated event of RDP 2011, Sixth Federated Conference on Rewriting, Deduction, and Programming =================================================================== Important Dates --------------- * 20 March 2011: Submission deadline * 10 April 2011: Author notification * 29 May 2011: Student Session The contributions and program will be available online before the event. Scope ----- The IFCoLog-RDP student session is a new initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity to undergraduate and master students to interact with more senior researchers. Topics ------ The IFCoLog-RDP student session will consider papers on Rewriting, Deduction, and Programming, broadly construed. But welcomes submissions on the topics of the two main RDP conferences, RTA and TCLA, with which the student session is connected. See http://www.rdp2011.uns.ac.rs/ for further details. Submission and Publication -------------------------- Authors are invited to submit an extended abstract (max. 5 pages). Papers should be written in English, and submitted in PostScript or PDF format, using the EasyChair class style. After the student session, authors of accepted submissions will be asked to submit a final version to be published in a biannual issue of the IFCoLog workshop series. Submission is through the Easychair website: https://www.easychair.org/account/signin.cgi?conf=ifcologrdpss2011 Programme Committee ------------------- to be announced Contact ------- Sandra Alves: san...@dcc.fc.up.pt Michael Gabbay: michael.gab...@kcl.ac.uk ______________________________________________________________________ This email has been scanned by the MessageLabs Email Security System. For more information please visit http://www.messagelabs.com/email ______________________________________________________________________