[Om-announce] [logic-programming] CFP: Doctoral Consortium of 31st International Conference on Logic Programming (ICLP 2015)

Ian Miguel ijm at st-andrews.ac.uk
Thu Feb 19 11:03:06 CET 2015


--------------------------------------------------------------------------------
                                   ICLP DC 2015

                     Eleventh ICLP Doctoral Student Consortium
                    to be held in Cork, Ireland, 31 August 2015

                     http://dc-iclp15.cs.bath.ac.uk/
--------------------------------------------------------------------------------

The ICLP Doctoral Consortium (DC) is the eleventh doctoral consortium to be held as
part of the 31st International Conference on Logic Programming (ICLP 2015). The
DC will take place during ICLP 2015 in Cork, Ireland. 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
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Causality
- Logic Programming Systems

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 2015 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 16 May 2015. Detailed submission
instructions are provided at the ICLP DC 2015 website:
      http://dc-iclp15.cs.bath.ac.uk/

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.


** Participant Funding **

The Association for Logic Programming supports ICLP DC 2015 participants.
The registration for the ICLP conference will be covered. We hope to also be able to
provide assistance with accommodation.

** Important Dates **

Application Submission:  16 May 2015
Acceptance Notification: 16 June 2015
Camera-ready Version:    17 July 2015
Doctoral Consortium:     31 August 2015

** Organization **

- Program Committee:

Martin Gebser, Aalto
Jose F. Morales, IMDEA Software Research Institute
Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics
Joost Vennekens, K.U. Leuven
Ekaterina Komendantskaya, School of Computing, University of Dundee
Fabio Fioravanti, University of Chieti-Pescara
Francesco Ricca, Department of Mathematics University of Calabria
Frank Valencia, LIX, Ecole Polytechnique
Takehide Soh, Information Science and Technology Center, Kobe University
Andy King, University of Kent
Antoine Zimmermann, …cole des Mines de Saint-…tienne

- Program Chairs:

  Marina De Vos, University of Bath (M.D.Vos at bath.ac.uk)
  Yuliya Lierler, University of Nebraska at Omaha (ylierler at unomaha.edu)


  Website: http://dc-iclp15.cs.bath.ac.uk/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150219/fa0e0092/attachment-0001.html>
-------------- next part --------------
_______________________________________________
logic-programming mailing list
logic-programming at lists.picat-lang.org
http://lists.picat-lang.org/mailman/listinfo/logic-programming


More information about the Om-announce mailing list