[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
1st International Workshop on Logic in Quantum Computer Science (LIQCS 2026)
June 17-19, Paris, France
https://urldefense.com/v3/__https://liqcs2026.github.io__;!!IBzWLUs!XJOhURqD4F00JEUktndu4My-IznrMMXX6VEK5jhbcHOzZzzmEm0GrlFatg_MqQVjPDUu2K72uC1kRgzGfvijc1ovU4DIxT1gDoNJ35bHCx0$
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://urldefense.com/v3/__https://easychair.org/conferences?conf=liqcs2026__;!!IBzWLUs!XJOhURqD4F00JEUktndu4My-IznrMMXX6VEK5jhbcHOzZzzmEm0GrlFatg_MqQVjPDUu2K72uC1kRgzGfvijc1ovU4DIxT1gDoNJFxILnVI$
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
