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.
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.
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.
LIQCS 2026 CHAIRS