We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Proceedings of the 11th workshop on Quantum Physics and Logic

Authors: Bob Coecke (University of Oxford), Ichiro Hasuo (The University of Tokyo), Prakash Panangaden (McGill University)
Abstract: This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan.
The goal of the QPL workshop series is to bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantic methods and other computer science methods for the study of physical behavior in general. Over the past few years, there has been growing activity in these foundational approaches, together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. Earlier workshops in this series, with the same acronym under the name "Quantum Programming Languages", were held in Ottawa (2003), Turku (2004), Chicago (2005), and Oxford (2006). The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013).
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Programming Languages (cs.PL); Quantum Physics (quant-ph)
Journal reference: EPTCS 172, 2014
DOI: 10.4204/EPTCS.172
Cite as: arXiv:1412.8102 [cs.LO]
  (or arXiv:1412.8102v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Sun, 28 Dec 2014 03:54:16 GMT (7kb)

Link back to: arXiv, form interface, contact.