[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
====================================
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!W6-iuVcxSEizpd91ubLipzfnAKWZbTnQOSBT4MlPXeHjJbRF2jSag33b62Qbu4a7qajc8bN5xRtQNSQEEe0XVgbR3ywZqm22uU0-NXM$
*** 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://urldefense.com/v3/__https://liqcs2026.github.io/*talks__;Iw!!IBzWLUs!W6-iuVcxSEizpd91ubLipzfnAKWZbTnQOSBT4MlPXeHjJbRF2jSag33b62Qbu4a7qajc8bN5xRtQNSQEEe0XVgbR3ywZqm227AR44jk$
# 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!W6-iuVcxSEizpd91ubLipzfnAKWZbTnQOSBT4MlPXeHjJbRF2jSag33b62Qbu4a7qajc8bN5xRtQNSQEEe0XVgbR3ywZqm22oBKewhs$
