[fg-arc] CFP ICLP-DC 2018

[Rolf Hennicker]

Please remove me from your mailing lists.
Many thanks!
Rolf Hennicker

Am 10.04.2018 um 15:12 schrieb epontell:
>
> *ICLP-DC 2018 -  14th Doctoral Consortium (DC) on Logic Programming*
>
> https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html
>
> *Call for Applications*
>
> The 14th Doctoral Consortium (DC) on Logic Programming will be held in 
> conjunction with ICLP 2018 and FLoC 2018. It provides a forum for 
> 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.
>
> *Goals*
>
> 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 aiming at doctoral studies). Students at any 
> stage in their doctoral studies are encouraged to apply for 
> participation in the DC.
>
> ·provide doctoral students working in the fields of logic and 
> constraint programming with a friendly and open forum to present their 
> research ideas, listen to ongoing work from peer students, and receive 
> constructive feedback,
>
> ·provide students with relevant information about important issues for 
> doctoral candidates and future academics,
>
> ·develop a supportive community of scholars and a spirit of 
> collaborative research, and
>
> ·support a new generation of researchers with information and advice 
> on academic, research, industrial, and non-traditional career paths
>
> Applicants are expected to conduct research in areas related to logic 
> and constraint programming. Topics included, but not limited to:
>
> ·Theoretical Foundations of Logic and Constraint Logic Programming
>
> ·Sequential and Parallel Implementation Technologies
>
> ·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.
>
> *Discussants*
>
> The DC allows participants to interact with established researchers 
> and fellow students, through presentations, question-answer sessions, 
> panel discussions, and invited talks. Each participant will give a 
> short, critiqued, research presentation. Renowned experts in the field 
> will evaluate submission packages and participate in the DC, providing 
> valuable feedback to DC participants.
>
> *Important Dates*
>
> Submission deadline:  April 15, 2018
>
> Notification of acceptance:     May 15, 2018
>
> Camera-ready due:     May 25, 2018
>
> 14th ICLP DC :           July 18, 2018
>
> *_Submission Details_*
>
> *Research summary*
>
> Prepare your research summary as a PDF document, using the OpenAccess 
> Series in Informatics (OASIcs) format (template available here: 
> http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/ ) 
> and submitted via EasyChair: 
> https://easychair.org/conferences/?conf=iclpdc2018 . The body of the 
> research summary should provide a clear overview of your research, its 
> potential impact, and its current
>
> status. You are encouraged to include sections like the following:
>
> ·Introduction and problem description
>
> ·Background and overview of the existing literature
>
> ·Goal of the research
>
> ·Current status of the research
>
> ·Preliminary results accomplished (if any)
>
> ·Open issues and expected achievements
>
> ·Bibliographical references
>
> All papers must be written in English and should be between 5 and 10 
> pages. Accepted DC papers will be published as technical 
> communications (TCs) by Dagstuhl Publishing in the OpenAccess Series 
> in Informatics (OASIcs): http://www.dagstuhl.de/publikationen/oasics/ .
>
> *Cover Letter*
>
> Please include the following information in a cover letter:
>
> ·statement of interest in participating in the DC,
>
> ·full name of school and department to which you are affiliated,
>
> ·name(s) of your supervising professor(s),
>
> ·title of your research work and keywords pertinent to your research,
>
> ·current stage in your program of study (e.g. Ph.D./MS student, start 
> date),
>
> ·contact information (full name, address, telephone number, email 
> address), and
>
> ·the URL of your web page (if any).
>
> *Letter of Recommendation*
>
> Include a short letter of recommendation written by your graduate or 
> thesis adviser(s). Please, invite your adviser(s) to give an 
> indication of the current status of your research and of the expected 
> deadline for thesis submission. In addition, your adviser(s) should 
> briefly describe what she/he hopes you would gain from participation 
> in the DC.
>
> *Review Criteria*
>
> A program committee consisting of experts in various areas related to 
> logic and constraint programming reviews the submissions. Papers are 
> reviewed by at least two, and usually three, referees. The DC program 
> committee will select participants based on their anticipated 
> contribution to the DC objectives. Participants typically have settled 
> on their thesis directions and have their research proposal accepted 
> by their thesis committee. 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.
>
> For all accepted DC papers, the student is required to attend the DC 
> program and give a presentation of 20 minutes followed by discussions.
>
> *Financial Support*
>
> The Association for Logic Programming has funds to assist financially 
> disadvantaged participants and students to enable them to attend the 
> conference. Students are invited to submit to the Doctoral Consortium 
> (within the submission deadline) to receive financial assistance.
>
> FLoC has some funds to provide travel grants of up to $1000 (USD) for 
> student attendees of FLoC’18. The application deadline is May, 18 
> 2018. Please see FLoC’18 Travel Support for details about how to apply 
> here: http://www.floc2018.org/travel-stipend/
>
> *Program Committee*
>
> Marina De Vos, University of Bath
>
> Fabio Fioravanti, University of Chieti-Pescara
>
> Martin Gebser, Aalto University
>
> Jose F. Morales, IMDEA Software Research Institute
>
> Takehide Soh, Information Science and Technology Center, Kobe University
>
> Frank D. Valencia LIX, Ecole Polytechnique
>
> *Program Co-Chairs*
>
> Neda Saeedloei, Southern Illinois University Carbondale, 
> neda at cs.siu.edu <mailto:neda at cs.siu.edu>
>
> Paul Fodor, Stony Brook University, pfodor at cs.stonybrook.edu 
> <mailto:pfodor at cs.stonybrook.edu>
>
>
>
> ----FG ARC----FG ARC----FG ARC----FG ARC----
> Mailverteiler der GI-Fachgruppe "Architekturen"
> http://fg-arc.gi.de/
>
> Nachrichten an diesen Mailverteiler senden Sie bitte an fg-arc at lists.uni-paderborn.de
>
> Allgemeine Informationen zum Mailverteiler, zum Eintragen oder Austragen finden Sie unter
> https://lists.uni-paderborn.de/mailman/listinfo/fg-arc
>
> Um den Besitzer der Liste zu kontaktieren, senden Sie eine E-Mail an fg-arc-owner at lists.uni-paderborn.de


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20180411/3ff9ea54/attachment.html>