[TYPES/announce] LIQCS 2026 - Call for participation

[Alejandro Díaz-Caro]

====================================

CALL FOR PARTICIPATION: LIQCS 2026

Workshop on Logic in Quantum Computer Science

June 17-19, 2026
Paris, France

https://urldefense.com/v3/__https://liqcs2026.github.io/__;!!IBzWLUs!QHsdfLTwhEf-s6Rf30Eq3mY2TFJgOvJ8jlv0MhiMIhHmows0IUkX99s0r6UYKwdcDq2-xnRB36sB4S5Ao9EozlPCv_KwxUcVFexEBu4$ 

*** Contributed talks are online. Registration is open. ***

====================================

# 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://urldefense.com/v3/__https://liqcs2026.github.io/*talks__;Iw!!IBzWLUs!QHsdfLTwhEf-s6Rf30Eq3mY2TFJgOvJ8jlv0MhiMIhHmows0IUkX99s0r6UYKwdcDq2-xnRB36sB4S5Ao9EozlPCv_KwxUcVUgQVPDo$ 

# 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)

-- 
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!QHsdfLTwhEf-s6Rf30Eq3mY2TFJgOvJ8jlv0MhiMIhHmows0IUkX99s0r6UYKwdcDq2-xnRB36sB4S5Ao9EozlPCv_KwxUcV6Q_gbk0$