[Hol-info] ICLP 2019 - Call For Workshop Proposals

[Fioretto, Ferdinando]

[apologies for cross-posting]

   *** CALL FOR WORKSHOP PROPOSALS ***

  ICLP 2019

 35th International Conference on Logic Programming

   September 21 - September 25, 2019
  Las Cruces, New Mexico, USA

 https://www.cs.nmsu.edu/ALP/iclp2019/

ICLP 2019, the 35th International Conference on Logic Programming,
will be held in Las Cruces, New Mexico, USA, from September 21 to
September 25, 2019.

The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide
and interested audience.

Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2019 can cover any areas related to logic programming (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.

The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.

Workshop Proposal:
==
Those interested in organizing a workshop at ICLP 2019 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:

 * The title of the workshop.
 * A brief technical description of the topics covered by the workshop.
 * A discussion of the timeliness and relevance of the workshop.
 * A list of some related workshops held in the last years.
 * The estimated length of the workshop and an estimate of the number
   of expected attendees.
 * The names, affiliation and contact details (email, web page,
   phone) of the workshop organizers together with a designated
   contact person.
 * Previous experience of the workshop organizers in
   workshop/conference organization.

Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by April 15, 2019.

Reviewing Process:
==
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 30, 2019.

The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible
proceedings for the workshops.

Workshop Organizers' Tasks:
===

 * Producing a "Call for Papers" for the workshop and posting it
   on the Internet and other means. A web page URL should be provided
   by May 31, 2019, and will be published on the ICLP 2019 home page.
 * Providing a brief description of the workshop for the conference
   program.
 * Reviewing/accepting submitted papers.
 * Scheduling workshop activities in collaboration with the local
   organizers and the Workshop Chair.
 * Providing a workshop program in a format specified by the
   conference organizers for posting by August 31, 2019.
 * Coordinating the preparation of the workshop proceedings according
   to the specifications provided by the Workshop Chair.

Location:
=
Workshops will be collocated with ICLP 2019, in Las Cruces, New Mexico,
USA. See the ICLP 2019 web site (https://www.cs.nmsu.edu/ALP/iclp2019/)
for location details.

Important Dates:

April 15, 2019: Proposal submission deadline
April 30, 2019: Notification
May 31, 2019: Deadline for receipt of CfP and workshop web page URL
August 31, 2019: Deadline for workshop program
TBA: ICLP workshops

Submissions:

Please submit your workshop proposals by email to the Workshop Chair.

Workshop Chair:
===
Martin Gebsermartin.geb...@aau.at



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

[Fioretto, Ferdinando]

Apologies for cross-posting

ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

The program committee of the 35th International Conference on Logic Programming 
(ICLP) invites submissions of published journal papers and papers presented at 
related conferences for the Sister Conferences and Journal Presentation Track.
The track is designed to provide a forum to discuss important results related 
to logic programming that appeared since 2017 in selective journals or were 
presented recently at related conferences but, but that have not been 
previously presented at ICLP.
The goal of this track is twofold:

  *   To provide authors an opportunity to present at the conference important 
results published in journals that might otherwise not be submitted to the 
conference due to their length and complexity. Papers that differ from 
traditional ICLP format and topics are welcome.
  *   To broaden the program with lines of work at the intersection between 
logic programming and related fields such as for example constraint 
programming, operations research, control, knowledge representation and 
reasoning, machine learning, multi-agent systems, robotics, computer games, and 
cognitive science. Papers that use logic programming in some innovative way are 
welcome.

Paper Presentation
All accepted submissions will be presented orally during the conference - at 
least one author is expected to register to ICLP 2019 and to present the paper 
in person. Complete citations and URLs of the original papers (if available 
from the publisher) will be published on the ICLP 2019 web site as a permanent 
reference. A 2-page extended abstract summarizing the line of research leading 
to the presented results can optionally be submitted for presentation in the 
technical communications of ICLP.

Submission Requirements
Submissions must meet the following criteria:

  *   Candidate papers must be published in a journal such as (but not limited 
to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of 
related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, 
ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA.
  *   Candidate papers must have appeared since 2017.
  *   Papers that are in press may be submitted as long as the final 
camera-ready version is available.
  *   Extensions of papers that have been previously presented at ICLP are not 
eligible for this track.

Submission Process
All submissions will be done via EasyChair 
(https://easychair.org/conferences/overview.cgi?a=20693669). The submission 
will be in the following format:

  *   Title of the original journal paper (to be published on the Web);
  *   Complete reference of the original paper (to be published on the Web);
  *   URL where the paper can be downloaded from the publisher (if available) 
(to be published on the Web);
  *   An accompanying letter containing an explanation of why this paper is 
interesting to the logic programming community (in PDF);
  *   A copy of the paper with its final camera-ready contents (in PDF).
  *   A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: 
only if the authors wish to publish such an extended abstract in the technical 
communications of ICLP).

Submissions will go through a selection process. Selection criteria include 
significance of the results and relevance to the logic programming community.

Important Dates

  *   Submission deadline: June 27th, 2019
  *   Notification of acceptance: July 15, 2019
  *   Conference: September 20-25, 2019

Journal Presentation Track Chairs

  *   Bart Bogaerts, Vrije Universiteit Brussel, 
bart.bogae...@vub.be
  *   Giovambattista Ianni, University of Calabria, 
ia...@unical.it
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track

[Fioretto, Ferdinando]

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

** CALL FOR PAPERS **

The 35th International Conference on Logic Programming (ICLP 2019)
Applications Track

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

Objectives

Logic programming (LP) has been widely adopted as a powerful declarative 
programming paradigm to build a variety of applications from research projects 
to industrial products, including bioinformatics, natural language 
understanding, robotics, etc. Motivated by such a wide range of applications, 
this year ICLP will have a special track dedicated to Applications of LP, to 
bring together LP researchers and practitioners from both academia and industry 
communities to share the recent advancement, challenge and insight for LP 
applications.

The goal of the Application Track is two-folded.  On the one side, it aims at 
providing a fresh impulse for the LP community to recast its interests towards 
solving practical problems and applications. On the other side, its goal is to 
attract representatives from the wider academia and industrial communities to 
discuss their challenges related to using LP in practical problems, 
applications and industrial products and their expectations of the development 
of theory and tools from LP community.


Expected contributions

The Applications Track at ICLP 2019 invites submissions of papers on emerging 
and deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of LP systems to solve real-world problems, 
including interesting case studies and benchmarks, and discussing lessons 
learned.

We welcome LP applications in a wide range of areas, including but not limited 
to:


  *   industrial applications
  *   commonsense reasoning, knowledge representation
  *   declarative problem solving
  *   education
  *   bioinformatics, computational biology
  *   life sciences, genetics, medicine, pharmacology
  *   cognitive robotics, social robotics, human-robot interactions
  *   intelligent transportation, logistics
  *   computer vision, sensing, internet of things
  *   data analysis, machine learning
  *   creative computing
  *   digital forensics, cybersecurity, blockchain
  *   economics, game theory, social choice
  *   software engineering, intelligent user interfaces
  *   multi-agent systems, argumentation, epistemic reasoning
  *   constraint programming, SAT, SMT
  *   natural language understanding, story telling, question answering
  *   explanation generation, diagnosis
  *   spatial/temporal/probabilistic reasoning
  *   planning and scheduling
  *   databases, ontologies, knowledge bases, Semantic Web


Evaluation Criteria

In this track, selection process of the highest quality papers will apply the 
following criteria:


  *   Significance of the real-world problem being addressed
  *   Importance and novelty of using logic programming technologies to solve 
this problem
  *   Evaluation and applicability of the system in real-world
  *   Reusability of datasets, case studies and benchmarks


Important Dates


  *   Abstract registration: April 27, 2019
  *   Paper submission: May 4, 2019
  *   Notification: June 19, 2019
  *   TPLP revision submission: July 3, 2019
  *   TPLP final notifications: July 17, 2019
  *   Camera-ready copy: July 31, 2017
  *   Conference: September 20-25, 2019


Submission Details

All submissions must be written in English.


  *   Regular papers (14 pages in TPLP format, including references) must 
describe original, previously unpublished research, and must not simultaneously 
be submitted for publication elsewhere. These restrictions do not apply to 
previously accepted workshop papers with a limited audience and/or without 
archival proceedings. The accepted regular papers will be published in TPLP, 
along with the selected ICLP-TPLP papers.

The program committee may recommend some regular papers to be published as 
technical communications (TCs), along with the selected ICLP-TC papers. The 
authors of the TCs can also elect to convert their submissions into extended 
abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should 
allow authors to submit a long version elsewhere.


  *   Short papers (7 pages in OASIcs format, including references) can 
describe published research. The accepted short papers that describe original 
and previously unpublished work will be published as TCs, along with the 
selected ICLP-TC papers. The accepted short papers that describe published 
research will be made available at the conference webpage, with the permission 
of the authors.

All accepted regular papers and technical communications will be presented 
during the conference. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 

[Hol-info] ICLP 2019 - CALL FOR WORKSHOP PROPOSALS

[Fioretto, Ferdinando]

   *** CALL FOR WORKSHOP PROPOSALS ***

  ICLP 2019

 35th International Conference on Logic Programming

   September 21 - September 25, 2019
  Las Cruces, New Mexico, USA

 https://www.cs.nmsu.edu/ALP/iclp2019/

ICLP 2019, the 35th International Conference on Logic Programming,
will be held in Las Cruces, New Mexico, USA, from September 21 to
September 25, 2019.

The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide
and interested audience.

Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2019 can cover any areas related to logic programming (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.

The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.

Workshop Proposal:
==
Those interested in organizing a workshop at ICLP 2019 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:

 * The title of the workshop.
 * A brief technical description of the topics covered by the workshop.
 * A discussion of the timeliness and relevance of the workshop.
 * A list of some related workshops held in the last years.
 * The estimated length of the workshop and an estimate of the number
   of expected attendees.
 * The names, affiliation and contact details (email, web page,
   phone) of the workshop organizers together with a designated
   contact person.
 * Previous experience of the workshop organizers in
   workshop/conference organization.

Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by April 15, 2019.

Reviewing Process:
==
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 30, 2019.

The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible
proceedings for the workshops.

Workshop Organizers' Tasks:
===

 * Producing a "Call for Papers" for the workshop and posting it
   on the Internet and other means. A web page URL should be provided
   by May 31, 2019, and will be published on the ICLP 2019 home page.
 * Providing a brief description of the workshop for the conference
   program.
 * Reviewing/accepting submitted papers.
 * Scheduling workshop activities in collaboration with the local
   organizers and the Workshop Chair.
 * Providing a workshop program in a format specified by the
   conference organizers for posting by August 31, 2019.
 * Coordinating the preparation of the workshop proceedings according
   to the specifications provided by the Workshop Chair.

Location:
=
Workshops will be collocated with ICLP 2019, in Las Cruces, New Mexico,
USA. See the ICLP 2019 web site (https://www.cs.nmsu.edu/ALP/iclp2019/)
for location details.

Important Dates:

April 15, 2019: Proposal submission deadline
April 30, 2019: Notification
May 31, 2019: Deadline for receipt of CfP and workshop web page URL
August 31, 2019: Deadline for workshop program
TBA: ICLP workshops

Submissions:

Please submit your workshop proposals by email to the Workshop Chair.

Workshop Chair:
===
Martin Gebsermartin.geb...@aau.at



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 - Special Session: Women in Logic Programming

[Fioretto, Ferdinando]

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming. 

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system: 

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost. 

Keynotes

TBA 

Important Dates
===

Abstract registration: April 27, 2019
Paper submission: May 4, 2019
Notification: June 19, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 23, 2019  

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University 
Ejaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 - Research Challenges in Logic Programming Track

[Fioretto, Ferdinando]

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

September 21-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 21-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.dalp...@unipr.it

Amelia Harrison, Google
amelia.j.harri...@gmail.com

Joohyung Lee, Arizona State University
joo...@asu.edu
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track

[Fioretto, Ferdinando]

Apologies for cross-posting

ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

The program committee of the 35th International Conference on Logic Programming 
(ICLP) invites submissions of published journal papers and papers presented at 
related conferences for the Sister Conferences and Journal Presentation Track.
The track is designed to provide a forum to discuss important results related 
to logic programming that appeared since 2017 in selective journals or were 
presented recently at related conferences but, but that have not been 
previously presented at ICLP.
The goal of this track is twofold:

  *   To provide authors an opportunity to present at the conference important 
results published in journals that might otherwise not be submitted to the 
conference due to their length and complexity. Papers that differ from 
traditional ICLP format and topics are welcome.
  *   To broaden the program with lines of work at the intersection between 
logic programming and related fields such as for example constraint 
programming, operations research, control, knowledge representation and 
reasoning, machine learning, multi-agent systems, robotics, computer games, and 
cognitive science. Papers that use logic programming in some innovative way are 
welcome.

Paper Presentation
All accepted submissions will be presented orally during the conference - at 
least one author is expected to register to ICLP 2019 and to present the paper 
in person. Complete citations and URLs of the original papers (if available 
from the publisher) will be published on the ICLP 2019 web site as a permanent 
reference. A 2-page extended abstract summarizing the line of research leading 
to the presented results can optionally be submitted for presentation in the 
technical communications of ICLP.

Submission Requirements
Submissions must meet the following criteria:

  *   Candidate papers must be published in a journal such as (but not limited 
to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of 
related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, 
ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA, …
  *   Candidate papers must have appeared since 2017.
  *   Papers that are in press may be submitted as long as the final 
camera-ready version is available.
  *   Extensions of papers that have been previously presented at ICLP are not 
eligible for this track.

Submission Process
All submissions will be done via EasyChair 
(https://easychair.org/conferences/overview.cgi?a=20693669). The submission 
will be in the following format:

  *   Title of the original journal paper (to be published on the Web);
  *   Complete reference of the original paper (to be published on the Web);
  *   URL where the paper can be downloaded from the publisher (if available) 
(to be published on the Web);
  *   An accompanying letter containing an explanation of why this paper is 
interesting to the logic programming community (in PDF);
  *   A copy of the paper with its final camera-ready contents (in PDF).
  *   A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: 
only if the authors wish to publish such an extended abstract in the technical 
communications of ICLP).

Submissions will go through a selection process. Selection criteria include 
significance of the results and relevance to the logic programming community.

Important Dates

  *   Submission deadline: June 27th, 2019
  *   Notification of acceptance: July 15, 2019
  *   Conference: September 21-25, 2019

Journal Presentation Track Chairs

  *   Bart Bogaerts, Vrije Universiteit Brussel, 
bart.bogae...@vub.be
  *   Giovambattista Ianni, University of Calabria, 
ia...@unical.it
  *
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP: ICLP 2019 - Application Track

[Fioretto, Ferdinando]

Apologies for cross-posting

** CALL FOR PAPERS **

The 35th International Conference on Logic Programming (ICLP 2019)
Applications Track

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

Objectives

Logic programming (LP) has been widely adopted as a powerful declarative 
programming paradigm to build a variety of applications from research projects 
to industrial products, including bioinformatics, natural language 
understanding, robotics, etc. Motivated by such a wide range of applications, 
this year ICLP will have a special track dedicated to Applications of LP, to 
bring together LP researchers and practitioners from both academia and industry 
communities to share the recent advancement, challenge and insight for LP 
applications.

The goal of the Application Track is two-folded.  On the one side, it aims at 
providing a fresh impulse for the LP community to recast its interests towards 
solving practical problems and applications. On the other side, its goal is to 
attract representatives from the wider academia and industrial communities to 
discuss their challenges related to using LP in practical problems, 
applications and industrial products and their expectations of the development 
of theory and tools from LP community.


Expected contributions

The Applications Track at ICLP 2019 invites submissions of papers on emerging 
and deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of LP systems to solve real-world problems, 
including interesting case studies and benchmarks, and discussing lessons 
learned.

We welcome LP applications in a wide range of areas, including but not limited 
to:


  *   industrial applications
  *   commonsense reasoning, knowledge representation
  *   declarative problem solving
  *   education
  *   bioinformatics, computational biology
  *   life sciences, genetics, medicine, pharmacology
  *   cognitive robotics, social robotics, human-robot interactions
  *   intelligent transportation, logistics
  *   computer vision, sensing, internet of things
  *   data analysis, machine learning
  *   creative computing
  *   digital forensics, cybersecurity, blockchain
  *   economics, game theory, social choice
  *   software engineering, intelligent user interfaces
  *   multi-agent systems, argumentation, epistemic reasoning
  *   constraint programming, SAT, SMT
  *   natural language understanding, story telling, question answering
  *   explanation generation, diagnosis
  *   spatial/temporal/probabilistic reasoning
  *   planning and scheduling
  *   databases, ontologies, knowledge bases, Semantic Web


Evaluation Criteria

In this track, selection process of the highest quality papers will apply the 
following criteria:


  *   Significance of the real-world problem being addressed
  *   Importance and novelty of using logic programming technologies to solve 
this problem
  *   Evaluation and applicability of the system in real-world
  *   Reusability of datasets, case studies and benchmarks


Important Dates


  *   Abstract registration: April 27, 2019
  *   Paper submission: May 4, 2019
  *   Notification: June 19, 2019
  *   TPLP revision submission: July 3, 2019
  *   TPLP final notifications: July 17, 2019
  *   Camera-ready copy: July 31, 2017
  *   Conference: September 21-25, 2019


Submission Details

All submissions must be written in English.


  *   Regular papers (14 pages in TPLP format, including references) must 
describe original, previously unpublished research, and must not simultaneously 
be submitted for publication elsewhere. These restrictions do not apply to 
previously accepted workshop papers with a limited audience and/or without 
archival proceedings. The accepted regular papers will be published in TPLP, 
along with the selected ICLP-TPLP papers.

The program committee may recommend some regular papers to be published as 
technical communications (TCs), along with the selected ICLP-TC papers. The 
authors of the TCs can also elect to convert their submissions into extended 
abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should 
allow authors to submit a long version elsewhere.


  *   Short papers (7 pages in OASIcs format, including references) can 
describe published research. The accepted short papers that describe original 
and previously unpublished work will be published as TCs, along with the 
selected ICLP-TC papers. The accepted short papers that describe published 
research will be made available at the conference webpage, with the permission 
of the authors.

All accepted regular papers and technical communications will be presented 
during the conference. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no 

[Hol-info] CFP: ICLP 2019 - Research Challenges in Logic Programming Track

[Fioretto, Ferdinando]

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.dalp...@unipr.it

Amelia Harrison, Google
amelia.j.harri...@gmail.com

Joohyung Lee, Arizona State University
joo...@asu.edu
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP: ICLP 2019 - Special Session: Women in Logic Programming

[Fioretto, Ferdinando]

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

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming.

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system:

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost.

Keynotes

TBA

Important Dates
===

Abstract registration: April 27, 2019
Paper submission: May 4, 2019
Notification: June 19, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 22, 2019

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University
Ekaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines

[Fioretto, Ferdinando]

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

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming.

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system:

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost.

Keynotes

TBA

Important Dates
===

Paper submission: June 25, 2019
Notification: June 17, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 20-25, 2019

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University
Ekaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria


___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP - Doctoral Consortium (DC) on Logic Programming

[Fioretto, Ferdinando]

The 15th Doctoral Consortium (DC) on Logic Programming
https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium


The 15th Doctoral Consortium (DC) on Logic Programming provides students with 
the opportunity to present and discuss their research directions, and to obtain 
feedback from both peers and experts in the field. 
It will take place during the 35th International Conference on Logic 
Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-26, 
2019, in Las Cruces, New Mexico, USA). 

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 conference. 

Important Dates 

• Abstract registration: April 27, 2019 
• Paper submission: May 4, 2019
• Notification: June 19, 2019
• Camera-ready copy: July 31, 2017
• Conference: Sunday, September 22, 2019

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

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 offers participants a convenient, 
more informal way to interact with established researchers and fellow students, 
through presentations, question-answer sessions, panel discussions, and invited 
presentations. The Doctoral Consortium will also 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.

Discussants

Renowned experts and researchers in the fields of logic and constraint 
programming will join in evaluating submissions and will participate in the DC, 
providing valuable feedback to DC participants. 

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 
feedback.
• To provide students with relevant information about important issues 
for doctoral 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 academic, research, industrial, and non-traditional career paths.

Submission Details

The DC is designed for students currently enrolled in a Ph.D. program, however 
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 
constraint programming.

Topics included, but not limited to:
• Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge 
representation.
• Languages: Concurrency, Objects, Coordination, Mobility, Higher 
Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based 
domain-specific languages, Programming Techniques.
• Declarative programming: Declarative program development, Analysis, 
Type and mode inference, Partial evaluation, Abstract interpretation, 
Transformation, Validation, Verification, Debugging, Profiling, Testing, 
Execution visualization.
• Implementation: Virtual machines, Compilation, Memory management, 
Parallel/distributed execution, Constraint handling rules, Tabling, Foreign 
interfaces, User interfaces.
• Related Paradigms and Synergies: Inductive and Co-inductive Logic 
Programming, Constraint Logic Programming, Answer Set Programming, Interaction 
with SAT, SMT and CSP solvers, Logic programming techniques for type inference 
and theorem proving, Argumentation, Probabilistic Logic Programming, Relations 
to object-oriented and Functional programming.
• Applications: Databases, Big Data, Data integration and federation, 
Software engineering, Natural language 

[Hol-info] CFP: ICLP 2019 - Special Session: Women in Logic Programming

[Fioretto, Ferdinando]

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

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming. 

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system: 

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost. 

Keynotes

Yuliya Lierler

Important Dates
===

Paper submission: June 25, 2019  
Final notification: July 17, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 20--25, 2019

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University 
Ekaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track

[Fioretto, Ferdinando]

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.dalp...@unipr.it

Amelia Harrison, Google
amelia.j.harri...@gmail.com

Joohyung Lee, Arizona State University
joo...@asu.edu
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

[Fioretto, Ferdinando]

Apologies for cross-posting

ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

The program committee of the 35th International Conference on Logic Programming 
(ICLP) invites submissions of published journal papers and papers presented at 
related conferences for the Sister Conferences and Journal Presentation Track.
The track is designed to provide a forum to discuss important results related 
to logic programming that appeared since 2017 in selective journals or were 
presented recently at related conferences but, but that have not been 
previously presented at ICLP.
The goal of this track is twofold:

  *   To provide authors an opportunity to present at the conference important 
results published in journals that might otherwise not be submitted to the 
conference due to their length and complexity. Papers that differ from 
traditional ICLP format and topics are welcome.
  *   To broaden the program with lines of work at the intersection between 
logic programming and related fields such as for example constraint 
programming, operations research, control, knowledge representation and 
reasoning, machine learning, multi-agent systems, robotics, computer games, and 
cognitive science. Papers that use logic programming in some innovative way are 
welcome.

Paper Presentation
All accepted submissions will be presented orally during the conference - at 
least one author is expected to register to ICLP 2019 and to present the paper 
in person. Complete citations and URLs of the original papers (if available 
from the publisher) will be published on the ICLP 2019 web site as a permanent 
reference. A 2-page extended abstract summarizing the line of research leading 
to the presented results can optionally be submitted for presentation in the 
technical communications of ICLP.

Submission Requirements
Submissions must meet the following criteria:

  *   Candidate papers must be published in a journal such as (but not limited 
to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of 
related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, 
ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA.
  *   Candidate papers must have appeared since 2017.
  *   Papers that are in press may be submitted as long as the final 
camera-ready version is available.
  *   Extensions of papers that have been previously presented at ICLP are not 
eligible for this track.

Submission Process
All submissions will be done via EasyChair ( 
https://easychair.org/conferences/?conf=iclp2019).  

Please select the "New submission"  and then the track "Sister Conferences and 
Journal Presentation"
-
The submission will be in the following format:

  *   Title of the original journal paper (to be published on the Web);
  *   Complete reference of the original paper (to be published on the Web);
  *   URL where the paper can be downloaded from the publisher (if available) 
(to be published on the Web);
  *   An accompanying letter containing an explanation of why this paper is 
interesting to the logic programming community (in PDF);
  *   A copy of the paper with its final camera-ready contents (in PDF).
  *   A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: 
only if the authors wish to publish such an extended abstract in the technical 
communications of ICLP).

Submissions will go through a selection process. Selection criteria include 
significance of the results and relevance to the logic programming community.

Important Dates

  *   Submission deadline: June 27th, 2019
  *   Notification of acceptance: July 15, 2019
  *   Conference: September 20-25, 2019

Journal Presentation Track Chairs

  *   Bart Bogaerts, Vrije Universiteit Brussel, 
bart.bogae...@vub.be
  *   Giovambattista Ianni, University of Calabria, 
ia...@unical.it
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP: ICLP 2019 Special Session: Women in Logic Programming

[Fioretto, Ferdinando]

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming. 

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system: 

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost. 

Keynotes

TBA 

Important Dates
===

Abstract registration: April 27, 2019
Paper submission: May 4, 2019
Notification: June 19, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 22, 2019  

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University 
Ekaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track

[Fioretto, Ferdinando]

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

** CALL FOR PAPERS **

The 35th International Conference on Logic Programming (ICLP 2019)
Applications Track

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

Objectives

Logic programming (LP) has been widely adopted as a powerful declarative 
programming paradigm to build a variety of applications from research projects 
to industrial products, including bioinformatics, natural language 
understanding, robotics, etc. Motivated by such a wide range of applications, 
this year ICLP will have a special track dedicated to Applications of LP, to 
bring together LP researchers and practitioners from both academia and industry 
communities to share the recent advancement, challenge and insight for LP 
applications.

The goal of the Application Track is two-folded.  On the one side, it aims at 
providing a fresh impulse for the LP community to recast its interests towards 
solving practical problems and applications. On the other side, its goal is to 
attract representatives from the wider academia and industrial communities to 
discuss their challenges related to using LP in practical problems, 
applications and industrial products and their expectations of the development 
of theory and tools from LP community.


Expected contributions

The Applications Track at ICLP 2019 invites submissions of papers on emerging 
and deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of LP systems to solve real-world problems, 
including interesting case studies and benchmarks, and discussing lessons 
learned.

We welcome LP applications in a wide range of areas, including but not limited 
to:


  *   industrial applications
  *   commonsense reasoning, knowledge representation
  *   declarative problem solving
  *   education
  *   bioinformatics, computational biology
  *   life sciences, genetics, medicine, pharmacology
  *   cognitive robotics, social robotics, human-robot interactions
  *   intelligent transportation, logistics
  *   computer vision, sensing, internet of things
  *   data analysis, machine learning
  *   creative computing
  *   digital forensics, cybersecurity, blockchain
  *   economics, game theory, social choice
  *   software engineering, intelligent user interfaces
  *   multi-agent systems, argumentation, epistemic reasoning
  *   constraint programming, SAT, SMT
  *   natural language understanding, story telling, question answering
  *   explanation generation, diagnosis
  *   spatial/temporal/probabilistic reasoning
  *   planning and scheduling
  *   databases, ontologies, knowledge bases, Semantic Web


Evaluation Criteria

In this track, selection process of the highest quality papers will apply the 
following criteria:


  *   Significance of the real-world problem being addressed
  *   Importance and novelty of using logic programming technologies to solve 
this problem
  *   Evaluation and applicability of the system in real-world
  *   Reusability of datasets, case studies and benchmarks


Important Dates


  *   Abstract registration: April 27, 2019
  *   Paper submission: May 4, 2019
  *   Notification: June 19, 2019
  *   TPLP revision submission: July 3, 2019
  *   TPLP final notifications: July 17, 2019
  *   Camera-ready copy: July 31, 2017
  *   Conference: September 20-25, 2019


Submission Details

All submissions must be written in English.


  *   Regular papers (14 pages in TPLP format, including references) must 
describe original, previously unpublished research, and must not simultaneously 
be submitted for publication elsewhere. These restrictions do not apply to 
previously accepted workshop papers with a limited audience and/or without 
archival proceedings. The accepted regular papers will be published in TPLP, 
along with the selected ICLP-TPLP papers.

The program committee may recommend some regular papers to be published as 
technical communications (TCs), along with the selected ICLP-TC papers. The 
authors of the TCs can also elect to convert their submissions into extended 
abstracts (2 or 3 pages) for inclusion in the OASIcs proceedings. This should 
allow authors to submit a long version elsewhere.


  *   Short papers (7 pages in OASIcs format, including references) can 
describe published research. The accepted short papers that describe original 
and previously unpublished work will be published as TCs, along with the 
selected ICLP-TC papers. The accepted short papers that describe published 
research will be made available at the conference webpage, with the permission 
of the authors.

All accepted regular papers and technical communications will be presented 
during the conference. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 

[Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

[Fioretto, Ferdinando]

Apologies for cross-posting

ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers

The program committee of the 35th International Conference on Logic Programming 
(ICLP) invites submissions of published journal papers and papers presented at 
related conferences for the Sister Conferences and Journal Presentation Track.
The track is designed to provide a forum to discuss important results related 
to logic programming that appeared since 2017 in selective journals or were 
presented recently at related conferences but, but that have not been 
previously presented at ICLP.
The goal of this track is twofold:

  *   To provide authors an opportunity to present at the conference important 
results published in journals that might otherwise not be submitted to the 
conference due to their length and complexity. Papers that differ from 
traditional ICLP format and topics are welcome.
  *   To broaden the program with lines of work at the intersection between 
logic programming and related fields such as for example constraint 
programming, operations research, control, knowledge representation and 
reasoning, machine learning, multi-agent systems, robotics, computer games, and 
cognitive science. Papers that use logic programming in some innovative way are 
welcome.

Paper Presentation
All accepted submissions will be presented orally during the conference - at 
least one author is expected to register to ICLP 2019 and to present the paper 
in person. Complete citations and URLs of the original papers (if available 
from the publisher) will be published on the ICLP 2019 web site as a permanent 
reference. A 2-page extended abstract summarizing the line of research leading 
to the presented results can optionally be submitted for presentation in the 
technical communications of ICLP.

Submission Requirements
Submissions must meet the following criteria:

  *   Candidate papers must be published in a journal such as (but not limited 
to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of 
related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, 
ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA.
  *   Candidate papers must have appeared since 2017.
  *   Papers that are in press may be submitted as long as the final 
camera-ready version is available.
  *   Extensions of papers that have been previously presented at ICLP are not 
eligible for this track.

Submission Process
All submissions will be done via EasyChair: 
https://easychair.org/conferences/?conf=iclp2019
Please select the "New submission"  and then the track "Sister Conferences and 
Journal Presentation"
-
The submission will be in the following format:

  *   Title of the original journal paper (to be published on the Web);
  *   Complete reference of the original paper (to be published on the Web);
  *   URL where the paper can be downloaded from the publisher (if available) 
(to be published on the Web);
  *   An accompanying letter containing an explanation of why this paper is 
interesting to the logic programming community (in PDF);
  *   A copy of the paper with its final camera-ready contents (in PDF).
  *   A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: 
only if the authors wish to publish such an extended abstract in the technical 
communications of ICLP).

Submissions will go through a selection process. Selection criteria include 
significance of the results and relevance to the logic programming community.

Important Dates

  *   Submission deadline: June 27th, 2019
  *   Notification of acceptance: July 15, 2019
  *   Conference: September 20-25, 2019

Journal Presentation Track Chairs

  *   Bart Bogaerts, Vrije Universiteit Brussel, 
bart.bogae...@vub.be
  *   Giovambattista Ianni, University of Calabria, 
ia...@unical.it
___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 - Special Session: Women in Logic Programming

[Fioretto, Ferdinando]

The 35th International Conference on Logic Programming (ICLP 2019)

Special Session: Women in Logic Programming
===

This special session aims to increase the visibility and impact of women in LP, 
fostering awareness of one another’s work. To have good role models is very 
important for female students and this session is an opportunity to celebrate 
women’s work in the community. We hope this will be particularly attractive to 
early-career women. The session will include one or two invited talks and 
presentations by women in logic programming. 

Submission Details
==

The submissions to this special session must be made via the EasyChair 
conference system: 

https://easychair.org/conferences/?conf=iclp2019

All submissions must be written in English and at least one coauthor must be a 
woman. Contributions can be sent in the form of short papers (7 pages in OASIcs 
format, including references) and can describe published research. The accepted 
short papers that describe original and previously unpublished work will be 
published as TCs, along with the selected ICLP-TC papers. The accepted short 
papers that describe published research will be made available at the 
conference webpage, with the permission of the authors.

All technical communications will be presented during the conference, 
preferably by women. Authors of accepted papers will, by default, be 
automatically included in the list of ALP members, who will receive quarterly 
updates from the Logic Programming Newsletter at no cost. 

Keynotes

Yuliya Lierler

Important Dates
===

Paper submission: June 25, 2019  
Final notification: July 17, 2019
Camera-ready copy due: July 31, 2019
Main conference: September 20--25, 2019

Organization


Session Chairs:
   Marina De Vos - University of Bath
   Alicia Villanueva - Universitat Politècnica de València

Program Committee
=

Elvira Albert - Universidad Complutense de Madrid
Stefania Costantini - University of L’Aquila
Ines Dutra - University of Porto
Daniela Inclezan - Miami University 
Ekaterina Komendantskaya - Heriot-Watt University
Simona Perri - University of Calabria



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] ICLP 2019 - CALL FOR PARTICIPATION

[Fioretto, Ferdinando]

CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/

The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA
---

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Research Challenges in Logic Programming Track
- Special Session: Women in Logic Programming

---
WORKSHOPS

Associated with the conference are two workshops:
- Workshop on Epistemic Extensions of Logic Programming (EELP 2019)
  https://www.semsys.aau.at/events/eelp2019/
- The 6th Workshop on Probabilistic Logic Programming (PLP 2019)
  http://stoics.org.uk/plp/plp2019/

---
DOCTORAL CONSORTIUM - 
https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium

Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic
Programming (September, 22, 2019)

---
TUTORIALS AND INVITED TALKS - 
https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html

Tutorials
- Serdar Kadioglu - Constraint Programming for Resource Management
- Chitta Baral - Knowledge Representation and Reasoning issues in Natural
  Language Question Answering
- Guy Van den Broeck - Tractable Probabilistic Circuits

Invited talks
- Nicola Leone - ASP Applications for AI and Industry
- Sheila McIlraith - Reward Machines: Structuring reward function specifications
  and reducing sample complexity in reinforcement learning -
- Adnan Darwiche - What Logic Can Do for AI Today

Women in LP Invited talk
- Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for
  Non-Ground Answer Set Programs

--
REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019

The registration costs and deadlines are as follows:

- General
  + Early registration - August, 10, 2019 - 600.00 USD
  + Late registration - 650.00 USD
- Student
  + Early registration - August, 10, 2019 - 400.00 USD
  + Late registration - 450.00 USD
- Workshop only
  + Early registration - August, 10, 2019 - 200.00 USD
  + Late registration - 250.00 USD

--
TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html

--
ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html

Rapid communications (TPLP)

- Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach 
to LARS Stream Reasoning (System paper)
  https://arxiv.org/abs/1907.12344
- Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic 
Splitting
  https://arxiv.org/abs/1907.09247
- Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set 
Programming
  https://arxiv.org/abs/1907.12139
- Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for 
Computing Cautious Consequences of ASP programs
  https://arxiv.org/abs/1907.09402
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial 
Compilation of ASP Programs
  https://arxiv.org/abs/1907.10469
- Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent 
Answer Sets with Less Resources
  https://arxiv.org/abs/1907.09560
- Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and 
Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs
  https://arxiv.org/abs/1907.10096
- Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic 
Programming
  https://arxiv.org/abs/1907.10333
- Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and 
Jessica Zangari. Incremental answer set programming with overgrounding
  https://arxiv.org/abs/1907.09212
- María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic 
Analysis of Maude Theories with Narval (system description)
  https://arxiv.org/abs/1907.10919
- Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence 
Between Abstract Dialectical Frameworks and Logic Programs
  https://arxiv.org/abs/1907.09548
- Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics 
meets Argumentation Frameworks
  https://arxiv.org/abs/1907.09426
- Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence 
of Epistemic Logic 

[Hol-info] ICLP 2019 - Call for Participation (Early registration deadline is today)

[Fioretto, Ferdinando]

CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/

The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA
---

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Research Challenges in Logic Programming Track
- Special Session: Women in Logic Programming

---
WORKSHOPS

Associated with the conference are two workshops:
- Workshop on Epistemic Extensions of Logic Programming (EELP 2019)
  https://www.semsys.aau.at/events/eelp2019/
- The 6th Workshop on Probabilistic Logic Programming (PLP 2019)
  http://stoics.org.uk/plp/plp2019/

---
DOCTORAL CONSORTIUM - 
https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium

Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic
Programming (September, 22, 2019)

---
TUTORIALS AND INVITED TALKS - 
https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html

Tutorials
- Serdar Kadioglu - Constraint Programming for Resource Management
- Chitta Baral - Knowledge Representation and Reasoning issues in Natural
  Language Question Answering
- Guy Van den Broeck - Tractable Probabilistic Circuits

Invited talks
- Nicola Leone - ASP Applications for AI and Industry
- Sheila McIlraith - Reward Machines: Structuring reward function specifications
  and reducing sample complexity in reinforcement learning -
- Adnan Darwiche - What Logic Can Do for AI Today

Women in LP Invited talk
- Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for
  Non-Ground Answer Set Programs

--
REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019

The registration costs and deadlines are as follows:

- General
  + Early registration - August, 15, 2019 - 600.00 USD
  + Late registration - 650.00 USD
- Student
  + Early registration - August, 15, 2019 - 400.00 USD
  + Late registration - 450.00 USD
- Workshop only
  + Early registration - August, 15, 2019 - 200.00 USD
  + Late registration - 250.00 USD

--
TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html

--
ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html

Rapid communications (TPLP)

- Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach 
to LARS Stream Reasoning (System paper)
  https://arxiv.org/abs/1907.12344
- Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic 
Splitting
  https://arxiv.org/abs/1907.09247
- Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set 
Programming
  https://arxiv.org/abs/1907.12139
- Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for 
Computing Cautious Consequences of ASP programs
  https://arxiv.org/abs/1907.09402
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial 
Compilation of ASP Programs
  https://arxiv.org/abs/1907.10469
- Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent 
Answer Sets with Less Resources
  https://arxiv.org/abs/1907.09560
- Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and 
Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs
  https://arxiv.org/abs/1907.10096
- Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic 
Programming
  https://arxiv.org/abs/1907.10333
- Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and 
Jessica Zangari. Incremental answer set programming with overgrounding
  https://arxiv.org/abs/1907.09212
- María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic 
Analysis of Maude Theories with Narval (system description)
  https://arxiv.org/abs/1907.10919
- Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence 
Between Abstract Dialectical Frameworks and Logic Programs
  https://arxiv.org/abs/1907.09548
- Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics 
meets Argumentation Frameworks
  https://arxiv.org/abs/1907.09426
- Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence 
of Epistemic Logic 

[Hol-info] ICLP 2019 - Call for Participation

[Fioretto, Ferdinando]

Apologies for cross-posting - Please forward to anybody who might be interested
** The early registration is approaching soon! **


The 35th International Conference on Logic Programming (ICLP 2019)


Call for Participation
=

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

Scope
--
Since the first conference held in Marseille in 1982, ICLP has been the premier 
international event for presenting research in logic programming.  
Contributions are sought in all areas of logic programming, including but not 
restricted to:


  *   Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge 
representation.
  *   Languages: Concurrency, Objects, Coordination, Mobility, Higher Order,  
Types, Modes, Assertions, Modules, Meta-programming, Logic-based  
domain-specific languages, Programming Techniques.
  *   Declarative programming: Declarative program development, Analysis, Type 
and mode inference, Partial evaluation, Abstract interpretation,  
Transformation, Validation, Verification, Debugging, Profiling, Testing,  
Execution visualization.
  *   Implementation: Virtual machines, Compilation, Memory management, 
Parallel/distributed execution, Constraint handling rules, Tabling, Foreign 
interfaces, User interfaces.
  *   Related Paradigms and Synergies: Inductive and Co-inductive Logic 
Programming, Constraint Logic Programming, Answer Set Programming, Interaction 
with SAT, SMT and CSP solvers, Logic programming techniques for type inference 
and theorem proving, Argumentation, Probabilistic Logic Programming, Relations 
to object-oriented and Functional programming.
  *   Applications: Databases, Big Data, Data integration and federation, 
Software engineering, Natural language processing, Web and Semantic Web, 
Agents, Artificial intelligence, Computational life sciences, Education,  
Cybersecurity, and Robotics.

Tracks and Special Sessions
---
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:


  *   Applications Track: This track invites submissions of papers on emerging 
and deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of logic programming systems to solve real-world 
problems, including interesting case studies and benchmarks, and discussing 
lessons learned.
  *   Sister Conferences and Journal Presentation Track: This track provides a 
forum to discuss important results related to logic programming that appeared 
recently (from January 2017 onwards) in selective journals and conferences, but 
have not been previously presented at ICLP.
  *   Research Challenges in Logic Programming Track: This track invites 
submissions of papers describing research challenges that an individual 
researcher or a research group is currently attacking. The goal of the track is 
to promote discussions, exchange of ideas, and possibly stimulate new 
collaborations.
  *   Special Session: Women in Logic Programming: This special session will 
include invited talks and presentations by women in logic programming.

Every track and special session will have its own dedicated chairs, PC, 
evaluation criteria, and CFP with the submission details.


Conference Registration
---

  *   Early Registration: August 5, 2019
  *   Registration Link: https://shopcart.nmsu.edu/shop/icpl2019


Important Dates


  *   Abstract registration (abstract, regular papers): May 8, 2019
  *   Paper submission (regular papers): May 15, 2019
  *   Paper submission (short papers): May 15, 2019
  *   Notification (regular papers): June 19, 2019
  *   Revision deadline (TPLP papers): July 3, 2019
  *   Final notifications (TPLP papers, short papers): July 17, 2019
  *   Camera-ready copy: July 31, 2019
  *   Conference: September 20-25, 2019

Organization
-
General Chairs:
   Enrico Pontelli - New Mexico State University
   Son Tran Cao - New Mexico State University
Program Chairs:
   Esra Erdem - Sabanci University
   German Vidal - Universitat Politecnica de Valencia
Publicity Chair:
   Ferdinando Fioretto - Georgia Institute of Technology
Workshops Chair:
   Martin Gebser - University of Klagenfurt and Graz University of Technology
Tutorials Chair:
   Pedro Cabalar - University of Corunna
DC Chairs:
   Paul Fodor - Stony Brook New York
   Daniela Inclezan - Miami University
Programming Competition Chairs:
   Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software 
Institute
   Orkunt Sabuncu - TED University
Applications Track Chairs:
   Andrea Formisano - Universita' di Perugia
   Fangkai Yang - NVIDIA Corporation
Sister Conferences and Journal Presentation Track Chairs:
   Bart Bogaerts - KU Leuven
   Giovambattista Ianni - Universita' della Calabria
Research Challenges in Logic Programming Track Chairs:
   Alessandro dal Palu  - Universita' di Parma
   Amelia Harrison - University of 

[Hol-info] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University

[Fioretto, Ferdinando]

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


** PhD Positions in Privacy-Preserving Distributed Artificial Intelligence **

Two funded PhD positions are available in the area of Privacy-preserving 
Distributed Machine Learning. The PhD candidate will work under the supervision 
of Prof. Ferdinando Fioretto at the EECS Department, Syracuse University. The 
position start date is flexible, with a start date as early as January 2020.
The PhD candidate is committed to conduct independent and original research, to 
report on this research in international publications and conference 
presentations, and to describe the results of the research in a PhD 
dissertation.

** Topic Description **

The recent surge in optimization and machine learning research, in particular, 
deep learning, paved the way for a number of applications, many of which use 
privacy-sensitive user data. The resulting models have been shown to often 
reveal private user information, which may harm individual users. To contrast 
these risks, a new line of research aims at developing variants of optimization 
and ML algorithms that preserve the privacy of the individuals contained in the 
used datasets. Additionally, there is an increasing interest in leveraging 
distributed data shared across organizations to augment AI-powered services. 
Examples include transportation services, sharing location-based data to 
improve on-demand capabilities, and hospitals, sharing data to prevent epidemic 
outbreaks. The proliferation of these applications lead to a transition from 
proprietary data acquisition and processing to data ecosystems where different 
agents learn and make decisions using data owned by different organizations, 
boosting the need for privacy-preserving technologies.
The project focuses broadly on protecting the privacy of individuals without 
losing the benefits of large scale data analysis. Topics of interest include:
-   Privacy-preserving technology, such as Differential Privacy and secure 
multi-party computation
-   Distributed Machine Learning
-   Privacy-preserving Multiagent Systems
-   Privacy-Preserving Adversarial Deep Learning Models
The project will combine fundamental aspects of privacy, optimization and 
distributed computation to design algorithms that perform (distributed) machine 
learning and decision making while guaranteeing they do not violate privacy. 
The ideal candidate will have a strong background and interest in machine 
learning, privacy-preserving technologies, and/or multi-agent systems. 
Publications in leading international venues (such as AAAI, IJCAI, AAMAS, ICML, 
NeurIPS) will be an advantage.

** To Apply **

Applications should be submitted at ffior...@syr.edu 
and candidates should include their resume and transcript (if available).

___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] CFP: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence

[Fioretto, Ferdinando]

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

The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence

The availability of massive amounts of data, coupled with high-performance 
cloud computing platforms, has driven significant progress in artificial 
intelligence and, in particular, machine learning and optimization. Indeed, 
much scientific and technological growth in recent years, including in computer 
vision, natural language processing, transportation, and health, has been 
driven by large-scale data sets which provide a strong basis to improve 
existing algorithms and develop new ones. However, due to their large-scale and 
longitudinal collection, archiving these data sets raise significant privacy 
concerns. They often reveal sensitive personal information that can be 
exploited, without the knowledge and/or consent of the involved individuals, 
for various purposes including monitoring, discrimination, and illegal 
activities.

 The goal of the AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence 
is to provide a platform for researchers to discuss problems and present 
solutions related to privacy issues arising within AI applications. The 
workshop will focus on both theoretical and practical challenges arising in the 
design of privacy-preserving AI systems and algorithms. It will place 
particular emphasis on algorithmic approaches to protect data privacy in the 
context of learning, optimization, and decision making that raise fundamental 
challenges for existing technologies. Additionally, it will welcome algorithms 
and frameworks to release privacy-preserving benchmarks and datasets.

Topics
We invite paper submissions on the following (and related) topics:
•   Applications of privacy-preserving AI systems
•   Architectures and privacy-preserving learning protocols
•   Constrained-based approaches to privacy
•   Differential privacy: theory and applications
•   Distributed privacy-preserving algorithms
•   Human-aware private algorithms
•   Incentive mechanisms and game theory
•   Privacy-preserving machine learning
•   Privacy-preserving algorithms for medical applications
•   Privacy-preserving algorithms for temporal data
•   Privacy-preserving test cases and benchmarks
•   Privacy and policy-making
•   Secure multi-party computation
•   Secret sharing techniques
•   Trade-offs between privacy and utility

Position, perspective, and vision papers are also welcome. Finally, the 
workshop will welcome papers that describe the release of privacy-preserving 
benchmarks and datasets that can be used by the community to solve fundamental 
problems of interest, including in machine learning and optimization for health 
systems and urban networks, to mention but a few examples.

Important Dates
•   November 15, 2019 – Submission Deadline
•   December 4, 2019 – Acceptance Notification
•   February 7 or 8, 2020 – Workshop Date (Full day)

Format
The workshop will be a full-day and will include a mix of invited speakers, 
peer-reviewed papers (talks and poster sessions) and will conclude with a panel 
discussion.

Attendance
Attendance is open to all. At least one author of each accepted submission must 
be present at the workshop.

Submission
Submission URL: https://easychair.org/conferences/?conf=ppai20

Submissions of technical papers can be up to 7 pages excluding references and 
appendices. Short or position papers of up to 4 pages are also welcome. All 
papers must be submitted in PDF format, using the AAAI-20 author kit. Papers 
will be peer-reviewed and selected for oral and/or poster presentation at the 
workshop.

Workshop Chairs
•   Ferdinando Fioretto (Georgia Institute of Technology)
•   Pascal Van Hentenryck (Georgia Institute of Technology)
•   Rachel Cummings (Georgia Institute of Technology)

Workshop Committee
•   Aws Albarghouthi - University of Wisconsin-Madison
•   Carsten Baum - Bar Ilan University
•   Aurélien Bellet - INRIA
•   Elette Boyle - Technion
•   Mark Bun - Boston University
•   Kamalika Chaudhuri - University of California San Diego
•   Graham Cormode - The University of Warwick
•   Marco Gaboardi - Boston University
•   Antti Honkela - University of Helsinki
•   Peter Kairouz - Google AI
•   Kim Laine - Microsoft
•   Audra McMillan - Northeastern University
•   Sebastian Meiser - University College London
•   Ilya Mironov - Google
•   Aleksandar Nikolov - University of Toronto
•   Kobbi Nissim - Georgetown University
•   Catuscia Palamidessi - INRIA
•   Reza Shokri - National University of Singapore
•   Jonathan Ullman - Northeastern University
•   Xiao Wang - Northwestern University

Workshop URL: https://www2.isye.gatech.edu/~fferdinando3/cfp/PPAI20
___
hol-info mailing list

[Hol-info] AAAI-20 Workshop on Privacy Preserving AI [Submission deadline approaching!]

[Fioretto, Ferdinando]

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

The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence

The availability of massive amounts of data, coupled with high-performance 
cloud computing platforms, has driven significant progress in artificial 
intelligence and, in particular, machine learning and optimization. Indeed, 
much scientific and technological growth in recent years, including in computer 
vision, natural language processing, transportation, and health, has been 
driven by large-scale data sets which provide a strong basis to improve 
existing algorithms and develop new ones. However, due to their large-scale and 
longitudinal collection, archiving these data sets raise significant privacy 
concerns. They often reveal sensitive personal information that can be 
exploited, without the knowledge and/or consent of the involved individuals, 
for various purposes including monitoring, discrimination, and illegal 
activities.

 The goal of the AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence 
is to provide a platform for researchers to discuss problems and present 
solutions related to privacy issues arising within AI applications. The 
workshop will focus on both theoretical and practical challenges arising in the 
design of privacy-preserving AI systems and algorithms. It will place 
particular emphasis on algorithmic approaches to protect data privacy in the 
context of learning, optimization, and decision making that raise fundamental 
challenges for existing technologies. Additionally, it will welcome algorithms 
and frameworks to release privacy-preserving benchmarks and datasets.

Topics
We invite paper submissions on the following (and related) topics:
•   Applications of privacy-preserving AI systems
•   Architectures and privacy-preserving learning protocols
•   Constrained-based approaches to privacy
•   Differential privacy: theory and applications
•   Distributed privacy-preserving algorithms
•   Human-aware private algorithms
•   Incentive mechanisms and game theory
•   Privacy-preserving machine learning
•   Privacy-preserving algorithms for medical applications
•   Privacy-preserving algorithms for temporal data
•   Privacy-preserving test cases and benchmarks
•   Privacy and policy-making
•   Secure multi-party computation
•   Secret sharing techniques
•   Trade-offs between privacy and utility

Position, perspective, and vision papers are also welcome. The workshop will 
welcome papers that describe the release of privacy-preserving benchmarks and 
datasets that can be used by the community to solve fundamental problems of 
interest, including in machine learning and optimization for health systems and 
urban networks, to mention but a few examples.

Papers accepted in the main conference are also welcome!

Important Dates
•   November 15, 2019 – Submission Deadline
•   December 4, 2019 – Acceptance Notification
•   February 7 or 8, 2020 – Workshop Date (Full day)

Format
The workshop will be a full-day and will include a mix of invited speakers, 
peer-reviewed papers (talks and poster sessions) and will conclude with a panel 
discussion.

Attendance
Attendance is open to all. At least one author of each accepted submission must 
be present at the workshop.

Submission
Submission URL: https://easychair.org/conferences/?conf=ppai20

Submissions of technical papers can be up to 7 pages excluding references and 
appendices. Short or position papers of up to 4 pages are also welcome. All 
papers must be submitted in PDF format, using the AAAI-20 author kit. Papers 
will be peer-reviewed and selected for oral and/or poster presentation at the 
workshop.


Workshop Chairs
•   Ferdinando Fioretto (Georgia Institute of Technology)
•   Pascal Van Hentenryck (Georgia Institute of Technology)
•   Rachel Cummings (Georgia Institute of Technology)

Workshop Committee
•   Aws Albarghouthi - University of Wisconsin-Madison
•   Carsten Baum - Bar Ilan University
•   Aurélien Bellet - INRIA
•   Elette Boyle - Technion
•   Mark Bun - Boston University
•   Kamalika Chaudhuri - University of California San Diego
•   Graham Cormode - The University of Warwick
•   Marco Gaboardi - Boston University
•   Antti Honkela - University of Helsinki
•   Peter Kairouz - Google AI
•   Kim Laine - Microsoft
•   Audra McMillan - Northeastern University
•   Sebastian Meiser - University College London
•   Ilya Mironov - Google
•   Aleksandar Nikolov - University of Toronto
•   Kobbi Nissim - Georgetown University
•   Catuscia Palamidessi - INRIA
•   Reza Shokri - National University of Singapore
•   Jonathan Ullman - Northeastern University
•   Xiao Wang - Northwestern University

Workshop URL: https://www2.isye.gatech.edu/~fferdinando3/cfp/PPAI20

[Hol-info] [CFP] The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence

[Fioretto, Ferdinando]

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

The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence

The availability of massive amounts of data, coupled with high-performance 
cloud computing platforms, has driven significant progress in artificial 
intelligence and, in particular, machine learning and optimization. Indeed, 
much scientific and technological growth in recent years, including in computer 
vision, natural language processing, transportation, and health, has been 
driven by large-scale data sets which provide a strong basis to improve 
existing algorithms and develop new ones. However, due to their large-scale and 
longitudinal collection, archiving these data sets raise significant privacy 
concerns. They often reveal sensitive personal information that can be 
exploited, without the knowledge and/or consent of the involved individuals, 
for various purposes including monitoring, discrimination, and illegal 
activities.

 The goal of the AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence 
is to provide a platform for researchers to discuss problems and present 
solutions related to privacy issues arising within AI applications. The 
workshop will focus on both theoretical and practical challenges arising in the 
design of privacy-preserving AI systems and algorithms. It will place 
particular emphasis on algorithmic approaches to protect data privacy in the 
context of learning, optimization, and decision making that raise fundamental 
challenges for existing technologies. Additionally, it will welcome algorithms 
and frameworks to release privacy-preserving benchmarks and datasets.

Topics
We invite paper submissions on the following (and related) topics:
•   Applications of privacy-preserving AI systems
•Architectures and privacy-preserving learning protocols
•   Constrained-based approaches to privacy
•   Differential privacy: theory and applications
•   Distributed privacy-preserving algorithms
•   Human-aware private algorithms
•   Incentive mechanisms and game theory
•   Privacy-preserving machine learning
•   Privacy-preserving algorithms for medical applications
•   Privacy-preserving algorithms for temporal data
•   Privacy-preserving test cases and benchmarks
•   Privacy and policy-making
•   Secure multi-party computation
•   Secret sharing techniques
•   Trade-offs between privacy and utility

Position, perspective, and vision papers are also welcome. Finally, the 
workshop will welcome papers that describe the release of privacy-preserving 
benchmarks and datasets that can be used by the community to solve fundamental 
problems of interest, including in machine learning and optimization for health 
systems and urban networks, to mention but a few examples.

Format
The workshop will be a full-day and will include a mix of invited speakers, 
peer-reviewed papers (talks and poster sessions) and will conclude with a panel 
discussion.

Attendance
Attendance is open to all. At least one author of each accepted submission must 
be present at the workshop.

Submission
Submission URL: https://easychair.org/conferences/?conf=ppai20

Submissions of technical papers can be up to 7 pages excluding references and 
appendices. Short or position papers of up to 4 pages are also welcome. All 
papers must be submitted in PDF format, using the AAAI-20 author kit. Papers 
will be peer-reviewed and selected for oral and/or poster presentation at the 
workshop.

Workshop Chairs
-Ferdinando Fioretto (Georgia Institute of Technology)
email: fiore...@gatech.edu
Web: http://nandofioretto.com
-Pascal Van Hentenryck (Georgia Institute of Technology)
email: 
pascal.vanhentenr...@isye.gatech.edu
web: http://pwp.gatech.edu/pascal-van-hentenryck/
-Rachel Cummings (Georgia Institute of Technology)
email: rach...@gatech.edu
web: https://pwp.gatech.edu/rachel-cummings/

Workshop Committee
•   Aws Albarghouthi - University of Wisconsin-Madison
•   Carsten Baum - Bar Ilan University
•   Aurélien Bellet - INRIA
•   Elette Boyle - Technion
•   Mark Bun - Boston University
•   Kamalika Chaudhuri - University of California San Diego
•   Graham Cormode - The University of Warwick
•   Marco Gaboardi - Boston University
•   Antti Honkela - University of Helsinki
•   Peter Kairouz - Google AI
•   Kim Laine - Microsoft
•   Audra McMillan - Northeastern University
•   Sebastian Meiser - University College London
•   Ilya Mironov - Google
•   Aleksandar Nikolov - University of Toronto
•   Kobbi Nissim - Georgetown University
•   Catuscia Palamidessi - INRIA
•   Reza Shokri - National University of Singapore
•   Jonathan Ullman - Northeastern University
•   Xiao Wang -