[ The Types Forum (announcements only),
[Apologies for multiple copies]
Call for Papers
First IFCoLog-RDP Student Session
Novi Sad, Serbia
29 May 2011
An associated event of RDP 2011, Sixth Federated Conference on
Rewriting, Deduction, and Programming
* 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.
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
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:
to be announced
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