[TYPES/announce] RDP-IFCoLog Student Session

[Sandra Alves]

[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: 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 
______________________________________________________________________