[TYPES/announce] CFP -- ICLP Doctoral Consortium

[J.E.Kriener]

This may be of interest to yourself or to your students --
    please forward to students you think may be interested!

--------------------------------------------------------------------------------
                                   ICLP DC 2014

                     Tenth ICLP Doctoral Student Consortium
                   to be held in Vienna, Austria, 20 July 2014

                     https://sites.google.com/site/iclpdc14/
--------------------------------------------------------------------------------

The ICLP Doctoral Consortium (DC) is the tenth doctoral consortium to be held as
part of the 30th International Conference on Logic Programming (ICLP 2014). The
DC will take place during ICLP 2014 in Vienna, Austria. It provides a forum for
doctoral students working in areas related to logic and constraint programming,
with a particular emphasis to students interested in pursuing a career in
academia. The DC gives students the opportunity to present and discuss their
research and to obtain feedback from peers as well as world-renowned experts.

** Target Audience **

The DC is designed for students currently enrolled in a Ph.D. program, though we
are also open to exceptions (e.g., students currently in a Master's program and
interested in doctoral studies). Students at any stage in their doctoral studies
are encouraged to apply for participation in the DC. Applicants are expected to
conduct research in areas related to logic and constraint programming; topics of
interest include (but are not limited to):

- Theoretical Foundations of Logic and Constraint Logic Programming
- Sequential and Parallel Implementation Technology
- Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology,
  Verification
- Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic
  Programming, Inductive Logic Programming)
- Innovative Applications of Logic Programming

Submissions by students who have presented their work at previous ICLP DC
editions are allowed, but should occur only if there are substantial changes or
improvements to the student's work.

The DC allows participants to interact with established researchers and fellow
students, through presentations, question-answer sessions, panel discussions, and
invited presentations. The Doctoral Consortium will provide the possibility to
reflect - through short activities, information sessions, and discussions - on
the process and lessons of research and life in academia. Each participant will
give a short, critiqued, research presentation.

** Application Process **

An application for participation in the ICLP DC 2014 consists of a cover letter,
a research summary, and a letter of recommendation (e.g., from your supervisor).
All applications must be in English and submitted electronically via EasyChair,
due to the application submission deadline. Detailed submission instructions are
provided at the ICLP DC 2014 website.

The DC program committee will select participants based on their anticipated
contribution to the DC objectives. Students will be selected based on clarity and
completeness of their submission package, relevance of their research area w.r.t.
the focus of ICLP, stage of research, recommendation letter, and evidence of
promise towards a successful career in research and academia, such as published
papers or technical reports.

The works accepted for presentation at the DC will be published in conjunction
with the ICLP proceedings. Updates follow as soon as we have more information
regarding this.

** Best Contribution Award **

The DC program committee will review submission packages and judge DC
presentations to assign the "Best ICLP DC 2014 Contribution" award among
participants. The award-winning contribution will also be presented in the ICLP
main program.

** Participant Funding **

The Association for Logic Programming supports ICLP DC 2014 participants. Updates
follow as soon as we have more information regarding this.

** Important Dates **

Application Submission:  7 March 2014
Acceptance Notification: 31 March 2014
Camera-ready Version:    8 May 2014
Doctoral Consortium:     20 July 2014

** Organization **

- Program Committee:

  To be announced

- Program Chairs:

  Jael Kriener
  Microsoft Research - Inria Joint Center, Paris, France

  Martin Gebser
  Department of Information and Computer Science, Aalto University, Finland

  Email Address: iclpdc2014 at easychair.org

  Website: https://sites.google.com/site/iclpdc14/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140131/91b77393/attachment.html>