caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Fioretto, Ferdinando" <fioretto.ferdinando@isye.gatech.edu>
Subject: [Caml-list] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track
Date: Tue, 21 May 2019 01:38:21 +0000	[thread overview]
Message-ID: <A79D3076-DD67-4778-B07E-2B18F42ED889@gatech.edu> (raw)

[-- Attachment #1: Type: text/plain, Size: 3279 bytes --]

Apologies for cross-posting - Please forward to anybody who might be interested

The 35th International Conference on Logic Programming (ICLP 2019)
Research Challenges in Logic Programming Track

September 20–25, 2019
Las Cruces, New Mexico (USA)
https://www.cs.nmsu.edu/ALP/iclp2019/
-------------------------------------------------------------------------

Objectives

Are you a researcher in logic programming working on a problem that appears to be particularly challenging? Perhaps you feel a little stuck? Or, are you facing a problem that needs some LP technology you are not familiar with? Would you like to open a discussion for collaboration? The goal of the Research Challenges Track is to help researchers overcome their challenges by providing a venue to invite input from the broader community. Contributors to this less formal track will be given an opportunity to exchange ideas with other researchers who may have come up against, or are currently working on, similar problems. We hope the track will foster discussion and possibly even new collaborations.


Expected contributions

The Research Challenges Track at ICLP 2019  invites submissions describing LP research challenges in a wide range of areas, including but not limited to:

  *   Industry-level application of logic programming
  *   applications of logic programming to other sciences and AI (bioinformatics, natural language processing, digital forensics, etc.)
  *   logic programming and big data
  *   machine learning and logic programming
  *   logic programming and other computational paradigms
  *   theoretical foundations of logic programming


Evaluation and Feedback

In this track, the selection process will be less formal. While authors will receive some feedback, the review process will not be typical. We do not expect contributions only from seasoned researchers. Ph.D. students and junior researchers are more than welcome to contribute. Also, contributors outside the LP community will be given special attention. Any contribution that clearly describes a research problem relevant to logic programming will be evaluated positively. The chance to interact with other researchers during the conference will provide additional feedback and hopefully lead to a longer-term discussion/collaboration.


Important Dates (Tentative)


  *   Abstract registration and paper submission: July 15, 2019
  *   Notification: July 31, 2019
  *   Camera-ready copy: September 1, 2017
  *   Conference: September 20-25, 2019


Submission Details

All submissions must be written in English. Submissions should be no more than 4 pages in OASIcs format, including references, and should describe a research problem or challenge. Accepted papers will be presented during the conference. Authors of accepted papers are expected to register to ICLP and present their work.


Any additional questions can be directed towards the Research Challenges Track Chairs:

Alessandro Dal Palu', Universita' di Parma
alessandro.dalpalu@unipr.it<mailto:alessandro.dalpalu@unipr.it>

Amelia Harrison, Google
amelia.j.harrison@gmail.com<mailto:amelia.j.harrison@gmail.com>

Joohyung Lee, Arizona State University
joolee@asu.edu<mailto:joolee@asu.edu>

[-- Attachment #2: Type: text/html, Size: 13289 bytes --]

                 reply	other threads:[~2019-05-21  1:41 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=A79D3076-DD67-4778-B07E-2B18F42ED889@gatech.edu \
    --to=fioretto.ferdinando@isye.gatech.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).