CFP: QuCSPs 2026 - Workshop on Quantum Constraint Satisfaction Problems (ICALP satellite, 6 July 2026)

CALL FOR PAPERS

QuCSPs 2026
Workshop on Quantum Constraint Satisfaction Problems
A satellite workshop of ICALP 2026

Date: 6 July 2026
Venue: Royal Holloway, University of London, Egham, UK
Website: https://zemanpeter.github.io/qucsps2026/
Call for papers: https://zemanpeter.github.io/qucsps2026/cfp/

------------------------------------------------------------

OVERVIEW

QuCSPs 2026 sits at the intersection of two recent breakthroughs
in computational complexity: MIP* = RE, arising from research on
non-local games, and the Bulatov-Zhuk dichotomy for constraint
satisfaction problems, arising from the algebraic approach to CSPs.

Every CSP can be formulated as a non-local game, opening a path
to studying quantum advantage for a wide and natural class of
computational problems. The workshop aims to bring together
researchers across computer science, quantum information, and
mathematical physics to discuss future directions emerging from
these results.

------------------------------------------------------------

SCOPE AND TOPICS

We invite submissions of original research, work-in-progress,
and survey abstracts on topics including, but not limited to:

- Quantum CSPs: operator solutions to CSPs (e.g. the Mermin-Peres
  magic square), quantum advantage.
- Nonlocal games: Bell inequalities, multi-party verifier-prover
  games, quantum correlations.
- Complexity theory: MIP* = RE, the Bulatov-Zhuk dichotomy,
  promise CSPs, valued CSPs.
- Mathematical physics and algebra: functional analysis, the
  Connes embedding problem, representation theory of
  groups/algebras related to CSPs.
- Structural properties: graph isomorphism, quantum
  homomorphisms/polymorphisms, homomorphism counting.
- Other notions of quantum CSPs: k-local Hamiltonians,
  QMA-complete problems.

------------------------------------------------------------

SUBMISSIONS

Submissions take the form of extended abstracts (2-4 pages) for
contributed talks, submitted via the online form linked from the
workshop website. Accepted contributions will be invited for
presentation at the workshop. Remote presentation via Zoom may
be possible on request.

Submission form:
https://docs.google.com/forms/d/e/1FAIpQLSdPtNuHGd91k8g0oAOieR9_zeAgRWykjguSt6oNsCCm1rQEYA/viewform

------------------------------------------------------------

IMPORTANT DATES

- Submission deadline: 12 June 2026
- Notification of acceptance: by 17 June 2026
- Workshop: 6 July 2026
- Main ICALP conference: 7-10 July 2026

------------------------------------------------------------

ORGANIZING COMMITTEE

- Samson Abramsky (University College London)
- Amin Karamlou (University College London)
- Nihil Shah (University of Cambridge)
- Peter Zeman (Charles University)

------------------------------------------------------------

CONTACT

For inquiries, please visit the workshop website or contact
Peter Zeman <[email protected]>.
**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************