From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10245 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Laura Pandolfo Newsgroups: gmane.science.mathematics.categories Subject: [CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming Date: Tue, 23 Jun 2020 11:15:08 +0200 Message-ID: Reply-To: Laura Pandolfo Mime-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-15"; format=flowed Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="10239"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Tue Jun 23 20:54:03 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jno3W-0002Vg-EN for gsmc-categories@m.gmane-mx.org; Tue, 23 Jun 2020 20:54:02 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58244) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jno38-0000Ba-Nv; Tue, 23 Jun 2020 15:53:38 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jno36-0000G9-26 for categories-list@rr.mta.ca; Tue, 23 Jun 2020 15:53:36 -0300 Content-Language: it Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10245 Archived-At: *** ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming *** The 16th Doctoral Consortium (DC) on Logic Programming provides students=20 with the opportunity to present and discuss their research directions,=20 and to obtain feedback from both peers and experts in the field. The=20 preliminary website of the DC can be found at:=20 https://sites.google.com/view/iclp-dc-2020/iclp-2020-doctoral-consortium The DC will take place during the 36th International Conference on Logic=20 Programming (ICLP) https://iclp2020.unical.it/ (September 18-24, 2020),=20 hosted by the University of Calabria, Italy, as a fully virtual event.=20 The best paper from the DC will be given the opportunity to make a=20 presentation in a session of the main ICLP conference. We aim to find sponsoring to cover the registration cost of students=20 participating in the DC, but this still has to be confirmed. Important Dates Paper submission: July 11, 2020 Notification: July 25, 2020 Camera-ready copy: August 6, 2020 DC presentations: Sunday, September 20, 2020 (fully virtual event) However, DC students are highly recommended to attend the Autumn School=20 on Logic Programming and Constraint Programming on: Friday and Saturday,=20 September 18-19, 2020: https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programmi= ng Audience The DC is designed for students currently enrolled in a Ph.D. program,=20 though we are also open to exceptions (e.g., students currently in a=20 Master's program and interested in doctoral studies). Students at any=20 stage in their doctoral studies are encouraged to apply for=20 participation in the DC. Applicants are expected to conduct research in=20 areas related to logic and constraint programming; topics of interest=20 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=20 Technology, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic=20 Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP=20 DC editions are allowed, but should occur only if there are substantial=20 changes or improvements to the student's work. The DC offers=20 participants a convenient, more informal way to interact with=20 established researchers and fellow students, through presentations,=20 question-answer sessions, panel discussions, and invited presentations.=20 The Doctoral Consortium will also provide the possibility to reflect -=20 through short activities, information sessions, and discussions - on the=20 process and lessons of research and life in academia. Each participant=20 will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint=20 programming will join in evaluating submissions and will participate in=20 the DC, providing valuable feedback to DC participants. Goals To provide doctoral students working in the fields of logic and=20 constraint programming with a friendly and open forum to present their=20 research ideas, listen to ongoing work from peer students, and receive=20 constructive feedback. To provide students with relevant information about important issues for=20 doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of=20 collaborative research. To support a new generation of researchers with information and advice=20 on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program,=20 however Master's students who are actively involved in research (please=20 see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic=20 and constraint programming. Topics included, but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge=20 representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order,=20 Types, Modes, Assertions, Modules, Meta-programming, Logic-based=20 domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type=20 and mode inference, Partial evaluation, Abstract interpretation,=20 Transformation, Validation, Verification, Debugging, Profiling, Testing,=20 Execution visualization. Implementation: Virtual machines, Compilation, Memory management,=20 Parallel/distributed execution, Constraint handling rules, Tabling,=20 Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic=20 Programming, Constraint Logic Programming, Answer Set Programming,=20 Interaction with SAT, SMT and CSP solvers, Logic programming techniques=20 for type inference and theorem proving, Argumentation, Probabilistic=20 Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation,=20 Software engineering, Natural language processing, Web and Semantic Web,=20 Agents, Artificial intelligence, Computational life sciences, Education,=20 Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format=20 (http://info.eptcs.org/) and submitted via EasyChair. All papers must be=20 written in English and should be between 5 and 10 pages. For all=20 accepted DC papers, the student is required to attend the DC program and=20 give a presentation during the DC. A program committee consisting of=20 experts in various areas related to logic and constraint programming=20 reviews the submissions. Papers are reviewed by at least two, and=20 usually three, referees. The submission package should consist of the research summary in the=20 format mentioned above, a short vita or cover letter of the applicant, a=20 letter of recommendation from applicant's faculty advisor, and one=20 paragraph statement outlining how the school will benefit the applicant.=20 All material is to be submitted electronically, in PDF format on the=20 Easychair system. Easychair link: https://easychair.org/conferences/?conf=3Diclp20200=20 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and=20 affiliation): The body of your research summary (no more than 10 pages, but 5 is fine=20 as well!) should provide a clear overview of your research, its=20 potential impact, and its current status. You are encouraged to include=20 the following sections: 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 Review Criteria The DC program committee will select participants based on their=20 anticipated contribution to the DC objectives. Participants typically=20 have settled on their thesis directions and have their research proposal=20 accepted by their thesis committee. Students will be selected based on=20 clarity and completeness of their submission package, relevance of their=20 research area w.r.t. the focus of ICLP, stage of research,=20 recommendation letter, and evidence of promise towards a successful=20 career in research and academia, such as published papers or technical=20 reports. Registration Registration is part of the ICLP 2020 registration Registration costs for ICLP will be lower than usual since it is virtual=20 this year. We aim to find sponsoring to cover the registration cost of=20 students participating in the DC, but this still has to be confirmed. Program co-chairs: Bart Bogaerts, Vrije Universiteit Brussel Daniela Inclezan, Miami University Program Committee TBA --=20 -- *Dona il=A0 5x1000* all'Universit=E0 degli Studi di Sassaricodice fiscale:= =20 00196350904 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]