Preface

Ross Duncan (Editor), Chris Heunen (Editor)

Research output: Contribution to journalConference Contribution

Abstract

This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.
LanguageEnglish
Number of pages1
JournalElectronic Proceedings in Theoretical Computer Science
DOIs
Publication statusPublished - 1 Jan 2017

Fingerprint

Physics
physics
Formal languages
quantum computation
Computer science
logic
congressional reports

Keywords

  • quantum physics
  • logic
  • mathematical foundations

Cite this

@article{52f41b6587a6465c904c2a3f7a6c6716,
title = "Preface",
abstract = "This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.",
keywords = "quantum physics, logic, mathematical foundations",
author = "Ross Duncan and Chris Heunen",
year = "2017",
month = "1",
day = "1",
doi = "10.4204/EPTCS.236",
language = "English",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",

}

Preface. / Duncan, Ross (Editor); Heunen, Chris (Editor).

In: Electronic Proceedings in Theoretical Computer Science, 01.01.2017.

Research output: Contribution to journalConference Contribution

TY - JOUR

T1 - Preface

A2 - Duncan, Ross

A2 - Heunen, Chris

PY - 2017/1/1

Y1 - 2017/1/1

N2 - This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.

AB - This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.

KW - quantum physics

KW - logic

KW - mathematical foundations

U2 - 10.4204/EPTCS.236

DO - 10.4204/EPTCS.236

M3 - Conference Contribution

JO - Electronic Proceedings in Theoretical Computer Science

T2 - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -