Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: events

Topic: Logic in Quantum Computer Science (LIQCS 2026)

Alejandro Díaz-Caro (Dec 17 2025 at 17:15):

1st International Workshop on Logic in Quantum Computer Science (LIQCS 2026)
June 17-19, Paris, France
https://liqcs2026.github.io/

IMPORTANT DATES
All deadlines are stated with respect to the Anywhere on Earth (AoE) time zone.

• Submission deadline: Friday, 20 March 2026
• Notification: Monday, 20 April 2026
• Workshop: 17-19 June 2026

OVERVIEW
LIQCS is a workshop dedicated to the logical and mathematical foundations of quantum computer science. Its goal is to bring together researchers working on rigorous frameworks for quantum computation, including logic, type theory, semantics, algebraic and categorical methods, and formal verification. The workshop welcomes contributions presenting new ideas, work in progress, recently published results, and perspectives on emerging research directions.
For a more comprehensive list of topics, please check the website.

SUBMISSION GUIDELINES
The submission site is:
https://easychair.org/conferences?conf=liqcs2026
We invite submissions of extended abstracts describing original work, work in progress, or results recently published elsewhere that are relevant to the LIQCS community.

• Submissions should be in PDF format, 2-5 pages in length (excluding bibliography).
• Appendices or links to longer documents are welcome, but the reviewers are not obliged to read them.
• All submissions will be reviewed by the Program Committee for quality and relevance.
• Accepted contributions must be presented as talks during the workshop.
• Although there are no formal proceedings, we will publish the extended abstracts on the website.

LIQCS 2026 CHAIRS

• Alejandro Diaz-Caro
• Romain Pechoux
• Benoit Valiron
• Vladimir Zamdzhiev

Alejandro Díaz-Caro (Jun 05 2026 at 08:19):

CALL FOR PARTICIPATION: LIQCS 2026

Workshop on Logic in Quantum Computer Science

June 17-19, 2026
Paris, France

https://liqcs2026.github.io/

Registration is mandatory and free of charge.

About LIQCS

LIQCS is a workshop dedicated to the logical and mathematical foundations of quantum computer science. Its goal is to bring together researchers working on rigorous frameworks for quantum computation, including logic, type theory, semantics, algebraic and categorical methods, and formal verification.

Registration

The registration deadline is June 8. The registration is free but mandatory.

Contributed talks

https://liqcs2026.github.io/#talks

Program Committee

Kostia Chardonnet
Ugo Dal Lago
Kinnari Dave
Alejandro Díaz-Caro (Co-chair)
Claudia Faggian
Emmanuel Hainry
Chris Heunen
Octavio Malherbe
Romain Péchoux (Co-chair)
Peter Selinger
Sam Staton
Takeshi Tsukada
Benoît Valiron (Co-chair)
Vladimir Zamdzhiev (Co-chair)