[TYPES/announce] LIQCS 2026: First Call for Contributions

[Alejandro Díaz-Caro]

FIRST CALL FOR CONTRIBUTIONS

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!X6Z3jMyxMmMkfKpJW8drB7vqH7pABSx7Z_6npvnnRzK3bzoMWpOcOkW1WipNWaAroKuAQj51BAQAt2MunM0g1csVzVa6eLaOMNZlxGY$ 

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!X6Z3jMyxMmMkfKpJW8drB7vqH7pABSx7Z_6npvnnRzK3bzoMWpOcOkW1WipNWaAroKuAQj51BAQAt2MunM0g1csVzVa6eLaO6PgP1mo$ 

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

-- 
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!X6Z3jMyxMmMkfKpJW8drB7vqH7pABSx7Z_6npvnnRzK3bzoMWpOcOkW1WipNWaAroKuAQj51BAQAt2MunM0g1csVzVa6eLaObJv2aPM$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251211/f2e38e4f/attachment-0001.htm>