From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 6C1915D5 for ; Thu, 7 Jun 2018 01:36:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,485,1520895600"; d="scan'208";a="330691761" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jun 2018 03:36:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6E4038246D; Thu, 7 Jun 2018 03:36:19 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2AE9A8240C for ; Thu, 7 Jun 2018 03:23:27 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marcello.balduccini@gmail.com; spf=Pass smtp.mailfrom=marcello.balduccini@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AkO9+qhIkge5fPQT6GtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeI/3xwZ3uMQTl6Ol3ixeRBMOHs68C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwVFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9TbU1WTS59KdrSRnoiC?= =?us-ascii?q?gaPDAn6W/cl8JwjKNFrxKluhN03orYbY+JOPZ7eK7Sc8kaRW5cVchPUSJPDJ63?= =?us-ascii?q?Y48SA+YdOOpVqZT2qVkTohukHQSiBP7hxyRUinPqwaE2z/gtHR3a0AEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKX+y7y7PHzS/fYPxI3Tf97I/IeQ08rP6WWbJ/bNfRxlUzGAPEiFWQ?= =?us-ascii?q?qILpNC6S2+QIqWeb9fZvWvyri24jrAF9uCOgyd0oiobUm4Ia1kzL9SR/wIY0Pt?= =?us-ascii?q?C4R0t7bsSlEJtUrS2VK4x2QsY7TmxupS00xLoGuZuhcygLzpQq3x3fa+aZf4SU?= =?us-ascii?q?/x7uV/ydITBihHJqYL6wnQy9/lKhyuHmUcm0yllKoyxYmdfPrnAAzwLf5tSDR/?= =?us-ascii?q?dn/Uqs2SyD2x7O5uxFO0w4iKjWJ4I5zrM0l5cfq1rPEjH0lUnsjqKaa18o9vWn?= =?us-ascii?q?5uj5ZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgWbVKkuE6nr?= =?us-ascii?q?DXsJzHJ8kXurS1AwBS0oYk5Ba/Cymp3M4EknkAKVJJYBOHj473NFHSOP30E+uz?= =?us-ascii?q?jlC2nDpox/3KJKPtDojMI3TZjbvsf6px51ZZyAUpzNBf45xUCqsGIPL2QkLxsc?= =?us-ascii?q?bXDgUlPAOqx+bnDNJ92pkFVm2VBq+WLb7SvkOU6eIuJemMZZQYuDn4K/c/5v7u?= =?us-ascii?q?iWU1lkMafamsxZcXcmy3Hux6I0WFZnrhmssOHn0Pvgo6VeDqjFyCUSVPZ3upRK?= =?us-ascii?q?I95jQ7CJq8AovZR4CthqaB3CahEZFMaGBGEAPEP23vctDOfv4WYy+WJsgpuDUA?= =?us-ascii?q?WaWqQI4n1Fvm4Arz0bFqKu7TvCcRsZ7+39N04ez7mhQ79DgyBMOYhTLeB1pol3?= =?us-ascii?q?8FEmdllJt0plZwnwvbiPkqs7ljDdVWoshxfEI/PJ/YwfZ9DomrCA3Ed9aNDl2h?= =?us-ascii?q?R4f/WG1jfpcK29YLJn1FNZC6lBmahnilBrYUk/qAA5lmqvuBjUi0HN50zjP97I?= =?us-ascii?q?dkj1QiRZERZ2ivh6o67hSLQoCQzB3fmKGteqARmiXK8TXbwA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DJEgCjiBhbhqrYVdFDGh+DJ3oWgRgPi?= =?us-ascii?q?AeEVIwJgUcEiDtvinIGXRSBZAsjCYN6a4ISGQcBBDEXAQIBAQEBAQEBAQETAQE?= =?us-ascii?q?BCAsLCCgjDII1DIJfLA8UARsCCgwGAxImNBQRAQUBNQkNRoJGAoFmAQMVDzCae?= =?us-ascii?q?oMePI0HBQEXHoJSBYNPChkmDVVXgWACBgkBCAGIL4FUP4EPglyBcYFQAwGBKwE?= =?us-ascii?q?SAYMzgiEgAph2BwICgWmEAoh7gT1AgziCMoU6AYlIOYcAAgQCCQIFDyGBIgKBF?= =?us-ascii?q?XFwgW0IgR4JgiMCg06FFIVaUwF7jTGCOAE?= X-IPAS-Result: =?us-ascii?q?A0DJEgCjiBhbhqrYVdFDGh+DJ3oWgRgPiAeEVIwJgUcEiDt?= =?us-ascii?q?vinIGXRSBZAsjCYN6a4ISGQcBBDEXAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1D?= =?us-ascii?q?IJfLA8UARsCCgwGAxImNBQRAQUBNQkNRoJGAoFmAQMVDzCaeoMePI0HBQEXHoJ?= =?us-ascii?q?SBYNPChkmDVVXgWACBgkBCAGIL4FUP4EPglyBcYFQAwGBKwESAYMzgiEgAph2B?= =?us-ascii?q?wICgWmEAoh7gT1AgziCMoU6AYlIOYcAAgQCCQIFDyGBIgKBFXFwgW0IgR4JgiM?= =?us-ascii?q?Cg06FFIVaUwF7jTGCOAE?= X-IronPort-AV: E=Sophos;i="5.49,485,1520895600"; d="scan'208";a="330690781" Received: from mail-qt0-f170.google.com ([209.85.216.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Jun 2018 03:23:26 +0200 Received: by mail-qt0-f170.google.com with SMTP id i18-v6so8501138qtp.12 for ; Wed, 06 Jun 2018 18:23:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:message-id:from:subject; bh=EnUILTCjl7FzGm9x/ppALzpy0pUIxFfYrK3xnQy/MJY=; b=Ndr3JKXmoO+9U3B4P9ZAHVuX8nuRbsrtxo8WUcIZYlHVHREaT3ujZrNPGodWu3Vfw8 gnxAVPKO/uvaT9Z0GTSs7X1GMo/IWjp0Z9w+sLnCtr6hJk6lHA4k+wwDd3QySwwUuJVs UJQ6WMMoSFB+KSMLzmH158C0tzfMzIPZEXRy/9nsrkcH6Ie+Ngt2d2VNcE755KEX3xEL HHiTSMY0Cx49iwkfQ0Is4jAA+fdEWar+JH5SiD/H0/OOZsDVrCAnsTvqYADmZ0mjLlPv /Bu+kfI/tXBq8ndIwTdZsfDg/R2tr9IMb9z6mriMWtWebvfLPy3ezRoUMXXq36s7q4Ba 5XzQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:message-id:from:subject; bh=EnUILTCjl7FzGm9x/ppALzpy0pUIxFfYrK3xnQy/MJY=; b=Nkd1CsG2XLaIVPj8MHom0v1S/rW9bRy/MkbbiDmh+TACci6VTXDeKkyHBorT7qVw5l /cHmLvYRISWLSnJH/E6bRX7StCAUQuZMu4OaCl7m2PqjXDEg5+arhS0VWImquxgWvlHP awoEUIjWh8ROqaq/xtsUHGmcLoh9XINByeN6ZVR6Ea1PZpUL/xPfITaC02stWD4qEBCd +CTYk+PCV+9kWs9vRbr7lg3HDboMJVl0THw8lJO1oKvPAMFNqE636ieByUkrIMgXzFSc TdBhupPArad13yDVmMqdPaJ7Ad0vbjrA+1cJhMg6FPCUa/lIyDDCl5LLCqb6QJfxup9g 7OSA== X-Gm-Message-State: APt69E1DJhf/F5ceGELAZXbXrEm8z3xOjxoesuYo1mAsXGhDgSLpzDzL AmYmbrwRiHPVa+r0F7xb1GvpYBCr X-Google-Smtp-Source: ADUXVKKAoxTbM1/CnA8AhV+0LcFys3Pk9YJ6+43j6u2RNYjYwZxNcSYoJdfafLl4rG/daImLc/A7kg== X-Received: by 2002:a0c:91b5:: with SMTP id n50-v6mr3502524qvn.130.1528334604437; Wed, 06 Jun 2018 18:23:24 -0700 (PDT) Received: from coSAT.marcy-sara.tk (pool-96-227-71-142.phlapa.fios.verizon.net. [96.227.71.142]) by smtp.gmail.com with ESMTPSA id u1-v6sm3306374qkd.45.2018.06.06.18.23.24 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 06 Jun 2018 18:23:24 -0700 (PDT) Received: from ruth.marcy-sara.cjb.net (coSAT.marcy-sara.tk [172.16.210.7]) by coSAT.marcy-sara.tk (8.15.2/8.15.2) with ESMTP id w571NNCv042706 for ; Wed, 6 Jun 2018 21:23:23 -0400 Received: from localhost ([127.0.0.1]) by ruth.marcy-sara.cjb.net (Kerio Connect 9.2.5 patch 3) with ESMTPS (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256 bits)) for caml-list@inria.fr; Wed, 6 Jun 2018 21:23:22 -0400 Received: (from marcy@localhost) by coSAT.marcy-sara.tk (8.15.2/8.15.2/Submit) id w571NMTJ042703 for caml-list@inria.fr; Wed, 6 Jun 2018 21:23:22 -0400 Date: Wed, 6 Jun 2018 21:23:22 -0400 Message-Id: <201806070123.w571NMTJ042703@coSAT.marcy-sara.tk> X-Authentication-Warning: coSAT.marcy-sara.tk: marcy set sender to "Marcello Balduccini" using -f From: "Marcello Balduccini" X-Validation-by: marcello.balduccini@gmail.com Subject: [Caml-list] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers Reply-To: "Marcello Balduccini" X-Loop: caml-list@inria.fr X-Sequence: 16929 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ******************* * FINAL REMINDER! * * * * June 24 * * Deadline * ******************* KR Doctoral Consortium Call for Applications October 30 - November 2, 2018 Tempe, Arizona, US http://kr2018.org/ The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but well-motivated applications from students who are at earlier or later stages of their doctoral studies will still be considered. For accepted students there will be a row of dedicated events, including DC invited talks on research practice, a lightning talk session, a poster session, and a mentoring lunch. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. 2) APPLICATION SUBMISSION Applications must be submitted by email. Each application must contain the following elements combined into a single PDF document.: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in AAAI style (http://www.aaai.org/Publications/Author/author.php). (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Indication of whether a sponsored studentship is requested, and if so, whether the student volunteers to help with local organization during KR, DL, and NMR. (5) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published on their research, and are encouraged to submit papers to KR 2018 and associated conferences and workshops. 3) IMPORTANT DATES Application deadline: June 24, 2018 Acceptance notification: July 11, 2018 Doctoral Consortium: October 30 - November 2, 2018 For further information, please contact the DC chairs: Madalina Croitoru, University Montpellier (croitoru@lirmm.fr) Sebastian Rudolph, TU Dresden (sebastian.rudolph@tu-dresden.de) -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs