Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, logics, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. Work applying quantum-inspired techniques and structures to other fields, such as linguistics, artificial intelligence, and causality, is also welcome.

Important dates

• Abstract submission deadline: 9 February 2025
• Paper submission deadline: 16 February 2025
• Notification: 24 March 2025
• Camera-ready deadline (revised accepted proceedings manuscripts): 15 June 2025
• Conference: 14 July - 18 July 2025

All deadlines are stated with respect to the Anywhere on Earth (AoE) time zone.

Submission Guidelines

Prospective speakers are invited to submit one (or more) of the following:

• Proceedings paper. This consists of a 5-12-page paper presenting original research results not currently under consideration for publication elsewhere. It must provide sufficient evidence of results of genuine interest, in sufficient detail, for the program committee to assess the merits of the work. Proceedings submissions must use the EPTCS style files.
• Talk proposal. This consists of a 3-page summary along with a link to a separate published paper or preprint. If the published paper or preprint is not publicly available (e.g. not open access), then it must be included in full after the summary.
• Poster. This consists of a 3-page summary of (partial) results or work in progress. 

Presentations

Authors of accepted submissions are expected to present their work during the conference (e.g. by giving a talk, presenting a poster, or tool demo). There will be an award for Best Student Paper at the discretion of the Program Committee. Papers eligible for the award are those where all the authors are students at the time of submission.

Conference proceedings

Conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. When preparing the final version for publication, authors of accepted proceedings submissions are allowed to use up to three extra pages (i.e. up to 15 pages excluding bibliography) to address reviewer concerns and suggestions under the provision that they do not introduce new results.

Committees

Program Committee

TBA

• Alejandro Díaz-Caro, Inria & UNQ (PC Co-chair)  
• Ognyan Oreshkov, Université libre de Bruxelles, FNRS (PC Co-chair)
• Ana Belén Sainz, University of Gdańsk (PC Co-chair)

Organizing committee

• James Hefford, Inria
• Timothée Hoffreumon, Université Paris-Saclay
• Zixuan Liu, Université libre de Bruxelles
• Ognyan Oreshkov, Université libre de Bruxelles, FNRS (Chair)
• Eleftherios Ermis Tselentis, Université libre de Bruxelles
• Vladimir Zamdzhiev, Inria

Steering committee

• Bob Coecke, Quantinuum
• Ana Belén Sainz, University of Gdańsk
• Peter Selinger, Dalhousie University