From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 185FE7FA5C for ; Wed, 22 Jun 2016 00:54:15 +0200 (CEST) IronPort-PHdr: 9a23:+1HsGBVbxQPPv6ZfdK+kvMtwvF7V8LGtZVwlr6E/grcLSJyIuqrYZhCOt8tkgFKBZ4jH8fUM07OQ6PG4HzRZqszZ+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpqsWVO1wD3mL1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3/fr8jTLpXRAgBe2406cnn/VmYFUrcrlUGVWBDqhdUDhKN1xr6Q5r1tibg/r5l1TWXJ4vtRrApXTCv9Y9uQQXtgT0OcTM17SfLkJoj3+pgvBu9qkknkMbva4aPOa8lJq4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=peter.schuller@marmara.edu.tr; spf=Pass smtp.mailfrom=peter.schuller@marmara.edu.tr; spf=None smtp.helo=postmaster@mx.marmara.edu.tr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of peter.schuller@marmara.edu.tr) identity=pra; client-ip=193.140.143.18; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of peter.schuller@marmara.edu.tr designates 193.140.143.18 as permitted sender) identity=mailfrom; client-ip=193.140.143.18; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx.marmara.edu.tr) identity=helo; client-ip=193.140.143.18; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="postmaster@mx.marmara.edu.tr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BDEgBoxGlXbRKPjMFdgz4iNHEMpxIBgnABiF6GBoQJFweCQoNhgQ08EAEBAQEBAQEBEQ0VCFCCMYISTSoDCUEwBB1EGYVZgj4EojacdINiigc8gWqCWQoHAYJlCz0DGIISHQWIEpBnhgiIGoFzhFODIYVGj3g1gjSBXWwBiQMPF4EeAQEF X-IPAS-Result: A0BDEgBoxGlXbRKPjMFdgz4iNHEMpxIBgnABiF6GBoQJFweCQoNhgQ08EAEBAQEBAQEBEQ0VCFCCMYISTSoDCUEwBB1EGYVZgj4EojacdINiigc8gWqCWQoHAYJlCz0DGIISHQWIEpBnhgiIGoFzhFODIYVGj3g1gjSBXWwBiQMPF4EeAQEF X-IronPort-AV: E=Sophos;i="5.26,506,1459807200"; d="scan'208";a="182063227" Received: from mx.marmara.edu.tr ([193.140.143.18]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Jun 2016 00:54:13 +0200 Received: (korumail 2001 invoked by uid 0); 21 Jun 2016 22:54:12 -0000 Received: from unknown (HELO posta.marmara.edu.tr) () by 0 with ESMTPS (DHE-RSA-AES256-GCM-SHA384 encrypted); 21 Jun 2016 22:54:12 -0000 Received: (qmail 14457 invoked from network); 22 Jun 2016 01:53:26 +0300 Received: from unknown (HELO inspiredeb) (peter.schuller@[160.97.30.39]) (envelope-sender ) by posta.marmara.edu.tr (qmail-ldap-1.03) with AES256-GCM-SHA384 encrypted SMTP for ; 22 Jun 2016 01:53:26 +0300 Received: by inspiredeb (Postfix, from userid 1000) id 2D5AA36065B; Wed, 22 Jun 2016 00:54:10 +0200 (CEST) From: Peter Schueller Message-Id: <20160621225410.2D5AA36065B@inspiredeb> Date: Wed, 22 Jun 2016 00:54:10 +0200 (CEST) X-SMTP-Filter: Korumail SMTP Filter Engine Korumail 6.0 X-KORUMAIL-Result: Clean (Content eval: 0.000000 points) X-KORUMAIL-Reason: WHITELIST match: peter.schuller@marmara.edu.tr [pattern: @marmara.edu.tr$] MIME-Version: 1.0 X-Validation-by: peter.schuller@marmara.edu.tr Subject: [Caml-list] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) -------------------------------------------------------------------------------- ICLP DC 2016 Twelfth ICLP Doctoral Student Consortium to be held in New York City, USA, 18 October 2016 http://dc-iclp16.cs.bath.ac.uk/ -------------------------------------------------------------------------------- The ICLP Doctoral Consortium (DC) is the twelfth doctoral consortium to be held as part of the 32nd International Conference on Logic Programming (ICLP 2016). The DC will take place during ICLP 2016 in New York City, USA. 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 2016 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 by 17 July 2016. Detailed submission instructions are provided at the ICLP DC 2016 website: http://dc-iclp16.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. There will be some financial support available to students who attend the DC. The details will be announced soon. ** Important Dates ** Application Submission: 17 July 2016 Acceptance Notification: 1 August 2016 Camera-ready Version: 14 August 2016 Doctoral Consortium: 18 October 2016 ** Organization ** - Program Committee: Martin Gebser, Aalto Jose F. Morales, IMDEA Software Research Institute 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 - Program Chairs: Marina De Vos, University of Bath (M.D.Vos@bath.ac.uk) Neda Saeedloei, University of Minnesota Duluth (nsaeedlo@d.umn.edu) Website: http://dc-iclp16.cs.bath.ac.uk/