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 ESMTP id 28ED55D4 for ; Mon, 24 Jun 2019 22:10:25 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388880972" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2019 00:10:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 53EE3826E2; Tue, 25 Jun 2019 00:10:24 +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 3FE997ED69 for ; Tue, 25 Jun 2019 00:04:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fioretto.ferdinando@isye.gatech.edu; spf=None smtp.mailfrom=fioretto.ferdinando@isye.gatech.edu; spf=Pass smtp.helo=postmaster@NAM02-SN1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AfBrdvh8EI0ttBP9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0u8XIJqq85mqBkHD//Il1AaPAdyBrasfwLKK++C4ACpcuM/H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjPusUMnIdvJKk9xgfGr3BVf+?= =?us-ascii?q?ha2X5kKUickhrh+8u85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6TSc84HRWpaRsZeSTBOAp+y?= =?us-ascii?q?YYsICuoOJ+dYr4/grFcKohazAQygCeXqyj9JnX/2xqw60+IuEQrbwgIuBs8FsH?= =?us-ascii?q?rVrNrrMKcdTP2+wK3GwDnfav9b3yr25orVfRA7ufyCXa9+cdbfx0csFgPKklqe?= =?us-ascii?q?poP+MjOJz+QNtnSX4/Z8We6xjWMstgF/oiKoxscpkoTFiIIbylHD9SVj3ok1Oc?= =?us-ascii?q?G4SEljbdW5EJVfqTuaOJZ3QsMkWW5ovjs1yroItZWmeyUKxpUnxxnFa/OZb4iI?= =?us-ascii?q?/hXjWPyfIThmnnJqZbO/hxCo/kim1+L8UdK50FdRritFjNbArH8N2AbP6seZVv?= =?us-ascii?q?R9/l2t1iiS2ADO8+xJJ10/m6TcK54k2LEwl5wTvFzZESDqnUX6lqiWdl8r+uSw?= =?us-ascii?q?5OTnZbLmppCYN4BqkA3xLqMumsmnDeQ+NwgORHWb9f6i27L+4E31WKtFgectkq?= =?us-ascii?q?jZrJ/aJd4Upq+jAwNP1YYj8Rm/Ay+439QAgXkIMElFdAiAj4jzNFHDJu3zA/Sn?= =?us-ascii?q?g1m0nzpn2+rKMqD9DpjPNHTOkrXscaxg50JCxgc/1d9S6pBOBrwPJP//QFL9ud?= =?us-ascii?q?3bAxMjLgC43vrrBM1z1owAWm+DHqqUPabMvVKH+u4gPuyBa5IWtTbzJfUo4uDh?= =?us-ascii?q?gmQ5lFMAeKSmwZUaZXOkEflgPk6Xe2Djgs0bHmcPpgc+TPLliFmFUTNLf3i/Q6?= =?us-ascii?q?Uy6i0lBI6/EInNXp2hjKWG3CigAJJafGdGCk2QEXjzcIWERvEMZz+ILs95iDwE?= =?us-ascii?q?UqShRJE92hGytQ/6zLxnIvDT+i0FqZLj0N915+rQlR0o6TN0CMGd33mMT2FygG?= =?us-ascii?q?wIWyc70a9jrUBn11uPzap1j+ZaGNFR/f9FTxk2OJDEw+x/Ed/yWwbBftmTSFah?= =?us-ascii?q?R9WrGT8xTtM2w98UfUl9B8mijhfZ0yqkHbAVjaGEBJ0y8q3G2Xj+OsF9xm3H1K?= =?us-ascii?q?k6j1gpXNFDNWK8ia5j6QfcG47Jn1+HmKm3aKQQxDTN+3ubzWqSoEFYVxZ9Xrnf?= =?us-ascii?q?UnAaYkvatND55kLZT7+yErknKQtAycuaKqRQcNHpjFNGRO3iONvEeW6xlX2wVl?= =?us-ascii?q?6m3LSJOcDEemIH0TnBDwxMvQ0J8XeAPA4yAW3p92zfCyZjCU7oJU3h6+V/rnq9?= =?us-ascii?q?QkgczhqbYgtu3qa48R5TiPCBHaBAlokYsTss/m0nVG222MjbXoXR/lczTOBned?= =?us-ascii?q?o4pWx/+yfZugh6YsPyCYlH3gRbSCIu+kTk2lNwF5lKltUsoDUy1g1uJKmE0VRH?= =?us-ascii?q?MTSFwZT3Pb6RIW73rkn2Ovzmn2rG2dPTwZ8hrfExqlHtpgasTxVw8m523p9a2m?= =?us-ascii?q?eR7ZWMAQYPA8qoDhQHsiNirrSfWRETopvO3CQzY6ivozKE1Ns1CeAljBusYoUH?= =?us-ascii?q?PQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B1BQCNRxFdh3tNayhmHQEBHwUBBgGBU?= =?us-ascii?q?IEuAgEBECknbXIDBAsYEAqHUgOFMYkxgiSBNYJikXyDHoEQA1QBCAEDAQsBJQg?= =?us-ascii?q?CAQGBS4MagmYFAgQ0EwEDAQEEAQECAQIDARMBAQEIDQkIKYo+DII6DAwDA4JqI?= =?us-ascii?q?SgGAQEmAwEGAgIEEQE+QicrAgMJOYF8SwGBagMeAgyZSwKBOIheAQGCIYJ5AQE?= =?us-ascii?q?FRYE9BYJ7GEEIUnYJgTICAQEBAYtLgWY/gRABJx+BYDcFboEEgV0BAQIYgRQBC?= =?us-ascii?q?wcBgz0eggQii26HfJYjAwQCAoIUhk2BUIMSiDMbgihrhiKOEQGEEJBFjAKDUgI?= =?us-ascii?q?EAgQFAg4BAQWBZ1gwcXItISoBcwqBRAmBQIECAgwCCYNNaoQqhT4BQTEBAYEni?= =?us-ascii?q?3oCDRcHgQQBgSAB?= X-IPAS-Result: =?us-ascii?q?A0B1BQCNRxFdh3tNayhmHQEBHwUBBgGBUIEuAgEBECknbXI?= =?us-ascii?q?DBAsYEAqHUgOFMYkxgiSBNYJikXyDHoEQA1QBCAEDAQsBJQgCAQGBS4MagmYFA?= =?us-ascii?q?gQ0EwEDAQEEAQECAQIDARMBAQEIDQkIKYo+DII6DAwDA4JqISgGAQEmAwEGAgI?= =?us-ascii?q?EEQE+QicrAgMJOYF8SwGBagMeAgyZSwKBOIheAQGCIYJ5AQEFRYE9BYJ7GEEIU?= =?us-ascii?q?nYJgTICAQEBAYtLgWY/gRABJx+BYDcFboEEgV0BAQIYgRQBCwcBgz0eggQii26?= =?us-ascii?q?HfJYjAwQCAoIUhk2BUIMSiDMbgihrhiKOEQGEEJBFjAKDUgIEAgQFAg4BAQWBZ?= =?us-ascii?q?1gwcXItISoBcwqBRAmBQIECAgwCCYNNaoQqhT4BQTEBAYEni3oCDRcHgQQBgSA?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.63,413,1557180000"; d="scan'208";a="388880476" X-MGA-submission: =?us-ascii?q?MDFCZel6xik64AnyrixICkWZjk0nnMZaWo5M5f?= =?us-ascii?q?onJTj8GtQgACptkMsMvs3ZhEyjJKId6VBPXea+uTdQJj+nYhI7qByIhh?= =?us-ascii?q?fKpz0R627tQEd6/+LX2fw4b9JHxM2NwztlOGRdAyIHqSPslZC9HYRPoT?= =?us-ascii?q?M9tLR6o4dmui3ZXmbI5Ne8Ig=3D=3D?= Received: from mail-eopbgr770123.outbound.protection.outlook.com (HELO NAM02-SN1-obe.outbound.protection.outlook.com) ([40.107.77.123]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 25 Jun 2019 00:04:19 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gtvault.onmicrosoft.com; s=selector1-gtvault-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Atdrfehnlrkehsg23qys/cT1fRhy7shZz7Kxv1794MI=; b=C3PWKayscZ+TAxSyaZxcnlaWGVaDYX3HGrCD6UaoNIi+jp0YORrAxR4C3/AgL8cWvU559OR+PC2ZIpdQuvPqzO+kkJPhNAQ2BjZDCmICX6lPrQKnQIafifvgtNfPnL5CWTI4UbjOm4VtjEWa8D0p0KSnODbOlCeVWIaAM7i/QRk= Received: from BN8PR07MB6258.namprd07.prod.outlook.com (20.179.79.139) by BN8PR07MB6340.namprd07.prod.outlook.com (20.179.96.210) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2008.16; Mon, 24 Jun 2019 22:04:17 +0000 Received: from BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::240d:d8f3:eb51:c38c]) by BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::240d:d8f3:eb51:c38c%6]) with mapi id 15.20.2008.014; Mon, 24 Jun 2019 22:04:17 +0000 From: "Fioretto, Ferdinando" Thread-Topic: CFP: ICLP DC 2019 - Doctoral Consortium (DC) on Logic Programming Thread-Index: AQHVKtjEtjVV9CNf20aCXm9rbQW6jQ== Date: Mon, 24 Jun 2019 22:04:16 +0000 Message-ID: <8245C193-B98F-4E86-AD0E-BD4D04EC8E48@gatech.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [47.39.168.110] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 5660cd93-e8e1-4ca0-13ea-08d6f8efe6be x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:BN8PR07MB6340; x-ms-traffictypediagnostic: BN8PR07MB6340: x-ms-exchange-purlcount: 5 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:7219; x-forefront-prvs: 007814487B x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(396003)(346002)(39860400002)(366004)(376002)(136003)(45074003)(189003)(199004)(26005)(73956011)(1671002)(99286004)(7736002)(86362001)(305945005)(966005)(14454004)(6486002)(6436002)(9686003)(6512007)(8936002)(25786009)(109986005)(3846002)(786003)(316002)(71200400001)(7416002)(7406005)(6116002)(81156014)(81166006)(8676002)(68736007)(53936002)(71190400001)(33656002)(75432002)(561944003)(36756003)(66476007)(64756008)(66556008)(6306002)(76116006)(66446008)(66946007)(486006)(476003)(66066001)(5660300002)(186003)(881003)(102836004)(478600001)(2906002)(88552002)(256004)(14444005)(6506007);DIR:OUT;SFP:1102;SCL:1;SRVR:BN8PR07MB6340;H:BN8PR07MB6258.namprd07.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: QfLoWrKuXbQXmUVlZu79N6y5MRgp7mtkDHpAuxqlgmrlR6IArnaBYZf78elUoZBLLParajeAO54+j5auD5ZGqhMt2OUexGRaJRZlwp8n3fg7QZjN//NRWC646k9dK+82S2VmCPQNf6YjiuJ82nQU0Uftkvs12Bs/GCr+VZaP8UY7BMYk5lpibXEBY+vjzCd0rxL6cSUCZ+3Vi/x7RUug47M4p4QX44AjX9MPPpoVdH2Exfav8A/hZdW8jRqZ5bYfGAU4RC4XP//68vzfw/JE3NQ4XdPpHKZjPU7jhQYJa8JVbLYh5PCuj12LZXAFKtzKxzTMCXGLJ3pnpSmA4yNLsZUrbpCyEttGsIEnuw1f5VrxBVfQgtUtVl5jrqG8+CM1oG6+HgTdxydC4vhEIu87aOZcMCnse8E/CUkE6TIqa2I= Content-Type: text/plain; charset="us-ascii" Content-ID: <0006E46CF3C3C14B82BDF28150E9DFBB@namprd07.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: isye.gatech.edu X-MS-Exchange-CrossTenant-Network-Message-Id: 5660cd93-e8e1-4ca0-13ea-08d6f8efe6be X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Jun 2019 22:04:16.8884 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: fferdinando3@gatech.edu X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB6340 X-Validation-by: fioretto.ferdinando@isye.gatech.edu Subject: [Caml-list] CFP: ICLP DC 2019 - Doctoral Consortium (DC) on Logic Programming Reply-To: "Fioretto, Ferdinando" X-Loop: caml-list@inria.fr X-Sequence: 17642 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 for cross-posting. Please, forward to anybody who might be intere= sted. Extended deadline! June 30 *** ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming *** The 15th Doctoral Consortium (DC) on Logic Programming provides students wi= th the opportunity to present and discuss their research directions, and to= obtain feedback from both peers and experts in the field.=20 It will take place during the 35th International Conference on Logic Progra= mming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-25, 2019, = in Las Cruces, New Mexico, USA).=20 Accepted participants will receive partial financial support to attend the = event and the main conference. The best paper from the DC will be given the= opportunity to make a presentation in a session of the main ICLP conferenc= e.=20 Important Dates=20 Paper submission (Updated date): June 30, 2019 Notification: July 15, 2019 Camera-ready copy: July 31, 2019 DC presentations: Sunday, September 22, 2019=20 However, DC students are highly recommended to attend the Autumn School on = Logic Programming on: Friday and Saturday, September 20-21, 2019 https://si= tes.google.com/cs.stonybrook.edu/iclp2019dc/autumn-school-on-logic-programm= ing =20 Audience The DC is designed for students currently enrolled in a Ph.D. program, thou= gh we are also open to exceptions (e.g., students currently in a Master's p= rogram and interested in doctoral studies). Students at any stage in their = doctoral studies are encouraged to apply for participation in the DC. Appli= cants are expected to conduct research in areas related to logic and constr= aint 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 Technolog= y, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Progr= amming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC e= ditions are allowed, but should occur only if there are substantial changes= or improvements to the student's work. The DC offers participants a conven= ient, more informal way to interact with established researchers and fellow= students, through presentations, question-answer sessions, panel discussio= ns, and invited presentations. The Doctoral Consortium will also provide th= e possibility to reflect - through short activities, information sessions, = and discussions - on the process and lessons of research and life in academ= ia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint prog= ramming will join in evaluating submissions and will participate in the DC,= providing valuable feedback to DC participants.=20 Goals To 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 feedba= ck. To provide students with relevant information about important issues for do= ctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative= research. To support a new generation of researchers with information and advice on a= cademic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, howe= ver Master's students who are actively involved in research (please see the= list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and c= onstraint programming. Topics included, but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge repre= sentation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Type= s, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specifi= c languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type an= d mode inference, Partial evaluation, Abstract interpretation, Transformati= on, Validation, Verification, Debugging, Profiling, Testing, Execution visu= alization. Implementation: Virtual machines, Compilation, Memory management, Parallel/= distributed execution, Constraint handling rules, Tabling, Foreign interfac= es, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programmi= ng, Constraint Logic Programming, Answer Set Programming, Interaction with = SAT, SMT and CSP solvers, Logic programming techniques for type inference a= nd theorem proving, Argumentation, Probabilistic Logic Programming, Relatio= ns to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Softwar= e engineering, Natural language processing, Web and Semantic Web, Agents, A= rtificial intelligence, Computational life sciences, Education, Cybersecuri= ty, and Robotics. Submissions of the research summary must be made in EPTCS format (http://in= fo.eptcs.org/) and submitted via EasyChair. All papers must be written in E= nglish and should be between 5 and 10 pages. For all accepted DC papers, th= e student is required to attend the DC program and give a presentation of 2= 0 minutes followed by discussions. A program committee consisting of expert= s in various areas related to logic and constraint programming reviews the = submissions. Papers are reviewed by at least two, and usually three, refere= es. The submission package should consist of the research summary in the format= mentioned above and the additional documents mentioned below in the financ= ial support section - all students must submit these documents even if they= don't apply for financial aid (a short vita or cover letter of the applica= nt, a letter of recommendation from applicant's faculty advisor, and one pa= ragraph statement outlining how the school will benefit the applicant). All= material is to be submitted electronically, in PDF format on the Easychair= system. Easychair link: https://easychair.org/conferences/?conf=3Diclp2019 (Doctora= l Consortium track) Research summary (make sure to include your complete name, address, and aff= iliation): The body of your research summary (no more than 10 pages, but 5 is fine as = well!) should provide a clear overview of your research, its potential impa= ct, and its current status. You are encouraged to include the following sec= tions: 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=20 Review Criteria The DC program committee will select participants based on their anticipate= d 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 completen= ess of their submission package, relevance of their research area w.r.t. th= e focus of ICLP, stage of research, recommendation letter, and evidence of = promise towards a successful career in research and academia, such as publi= shed papers or technical reports. Financial Support Students are invited to submit to the Doctoral Consortium (within the submi= ssion deadline) to receive financial assistance. A number of scholarships f= or students that cover local expenses for the duration of the DC and school= are available. To apply for these scholarships, students should submit the= following information as part of their DC application: A short vita or cover letter of the applicant, containing: 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, and email addres= s URL of your web page (if any) One paragraph statement outlining how the school will benefit the applicant= . A letter of recommendation from applicant's graduate or thesis advisor. Ple= ase invite your adviser(s) to give an indication of the current status of y= our research and of the expected date of thesis submission. In addition, yo= ur adviser(s) should briefly describe what she/he hopes you to gain from pa= rticipation in the DC. The letter from the advisor should also certify that the applicant is a ful= l-time student. There are other sponsorship opportunities, but they are individual: ACM-W scholarship program: any (female) student willing to participate to I= CLP can submit their application on the site: https://women.acm.org/scholar= ships/ Registration Registration is part of the ICLP 2019 registration: https://www.cs.nmsu.edu= /ALP/iclp2019/ Program co-chairs: Daniela Inclezan, Miami University Paul Fodor, Stony Brook University Program Committee Carmine Dodaro, University of Genova & DIBRIS, Italy Cristina Feier, University of Bremen, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Fabio Fioravanti, University of Chieti-Pescara, Italy Francesco Ricca, Department of Mathematics University of Calabria, Italy Frank Valencia, LIX, Ecole Polytechnique, France Jorge Fandino, University of Corunna, Spain Jose F. Morales, IMDEA Software Research Institute, Spain Marco Maratea, University of Genova & DIBRIS, Italy Martin Gebser, Aalto University, Finland Michael Gelfond, Texas Tech University, USA