[TYPES/announce] RDP-IFCoLog Student Session

Sandra Alves sandra at dcc.fc.up.pt
Tue Feb 15 06:02:14 EST 2011

[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

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.

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:


Programme Committee
  to be announced 

Sandra Alves: sandra at dcc.fc.up.pt
Michael Gabbay: michael.gabbay at kcl.ac.uk

This email has been scanned by the MessageLabs Email Security System.
For more information please visit http://www.messagelabs.com/email 

More information about the Types-announce mailing list