CP 2020 Workshop; September 7, 2020; Virtual, World Cafe style

Important Dates

Submissions: July 31, 2020

Notifications: August 17, 2020

Camera-ready: August 27, 2020

Workshop day: September 7, 2020

Conference Webpage Free Registration

About Workshop

With the current advances in artificial intelligence, it is now possible to see AI systems in almost every field from education to transportation, manufacturing to smart cities. Current practices raise some ethical and trustworthiness concerns for these emerging applications. According to the Ethics Guidelines for Trustworthy AI, developed by the High Level Expert Group on AI, there are some generally accepted criteria for an AI system to be considered as trustworthy such as being: accountable, non-discriminating and fair, explainable, robust and secure, transparent, environment-friendly.

The topic of Trustworthy AI is currently receiving significant interest from academia, industry, policy-makers, and society. The technical focus to-date has been on machine learning and data analytics approaches to AI. However, constraint programming has a critical role to play, and this needs to be explored and discussed. This workshop will provide a forum for such discussions and a position paper will be a key outcome of the event.

Our main target audience in this workshop is researchers who work either in academia or industry. The audience are expected to be experts from one or more of the following disciplines: constraint programming, computational social choice, algorithmic decision-making, ethics, psychology, sociology, law, or artificial intelligence.

In addition to the normal presentation of papers and discussions, a major objective of this workshop will be the development of a position paper on the opportunities for constraint programming in the development of Trustworthy AI. This position paper will be created in a world cafe style involving workshop participants and invitees. This will be published on an open access repository such as ArXiV.

Call for Papers

Constraint programming and constraint satisfaction has a special role to play in Trustworthy AI. Amongst the many opportunities for constraint programming in this area include, but are not limited to:

  • - explanation generation,
  • - system debugging,
  • - AI system verification,
  • - cake-cutting methods,
  • - preference elicitation,
  • - preference reasoning,
  • - ensuring robust decision-making,
  • - fairness,
  • - reasoning about ethics concepts.

The workshop will bring together researchers from the constraint programming community, researchers from other complementary domains, and practitioners, to explore the opportunities for CP in ethical and Trustworthy AI. We are also interested in tools and techniques that can be used to ensure the trustworthiness of CP systems, e.g. debugging, robustness testing, etc.

Work that is an extension of some recently published or already accepted for publication in journals and major conferences are welcome. If this is the case, your submission should clearly indicate the extension and also include the accepted paper. Workshop participation will be by invitation only. If you would like to participate, submit either:

  • - Full paper (at most 6 pages or 6,000 words);
  • - Short paper or problem instance (at most 3 pages or 3,000 words);
  • - Position statement (1 page);
  • - Extended abstract of accepted papers.

Short papers may address an important problem for further research or describe a practical problem or an interesting lesson learned. In addition, we solicit proposals for short demonstrations (at most 3 pages with demonstrations taking at most 15 minutes). All submissions should conform to CP’s formatting guidelines using LNCS format (more details are available here). Authors can submit multiple papers.

Workshop Programme

Tech Session

starts at 11 : 00 AM, CEST (UTC+2)

Technical Session: Opening Talks and Contributed Papers

Welcome talk

11 : 05 AM - 11 : 20 AM, CEST (UTC+2)

Opening talk on Trustworthy AI

by Barry O'Sullivan

11 : 20 AM - 11 : 45 AM, CEST (UTC+2)

[Paper 1] Modeling Collective Constraint Optimization

by Alexander Schiendorfer, Guido Tack, Alexander Knapp and Wolfgang Reif

Read the paper.

11 : 45 AM - 12 : 10 PM, CEST (UTC+2)

[Paper 2] VeriPB: The Easy Way to Make Your Combinatorial Search Algorithm Trustworthy

by Stephan Gocht, Ciaran McCreesh and Jakob Nordström

Read the paper.

12 : 10 PM - 12 : 35 PM, CEST (UTC+2)

[Paper 3] Conflict analysis in CP solving: Explanation generation from constraint decomposition

by Arthur Gontier, Charlotte Truchet and Charles Prud'Homme

Read the paper.

Cafe Session

starts at 13 : 00 PM, CEST (UTC+2)

Developing a Whitepaper on Constraint Programming for Trustworthy AI

Session 1: Explanation, and Human-centric CP

from 13 : 00 PM - 13 : 10 PM, CEST (UTC+2)

Invited Intervention: Ulrich Junker

from 13 : 10 PM - 13 : 20 PM, CEST (UTC+2)

Invited Intervention: Nina Narodytska

from 13 : 20 PM - 14 : 00 PM, CEST (UTC+2)

Brainstorming with attendees: Moderated by Barry O'Sullivan and Begüm Genç

14:00 PM - 14:30 PM break

Session 2: Fairness and Ethics in CP

from 14 : 30 PM - 14 : 40 PM, CEST (UTC+2)

Invited Intervention: Francesca Rossi

from 14 : 40 PM - 14 : 50 PM, CEST (UTC+2)

Invited Intervention: Toby Walsh

from 14 : 50 PM - 15 : 30 PM, CEST (UTC+2)

Brainstorming with attendees: Moderated by Barry O'Sullivan and Begüm Genç

15:30 PM - 15:45, CEST (UTC+2)

Wrap up

Our Speakers

Francesca Rossi

IBM Research

Nina Narodytska

VMware Research

Toby Walsh

University of New South Wales

Ulrich Junker

 

Barry O'Sullivan

University College Cork

Begüm Genç

University College Cork

Program Committee

Francesca Rossi, IBM Research

Michela Milano, DISI, University of Bologna

Michele Lombardi, DISI, University of Bologna

Roland Yap, National University of Singapore

Steve Prestwich, University College Cork

Susan Leavy, University College Dublin

Toby Walsh, University of New South Wales

Ulrich Junker

Virginia Dignum, Umeå University

Contact Organizers

Begüm Genç

University College Cork

Barry O'Sullivan

University College Cork