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. - 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://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. - 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 You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>