Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research.
Programme
Thursday:
10h00 - 11h00 : coffee + registration
11h00 - 12h00 : P. Panangaden : "Quantum Predicate Transformers"
12h00 - 12h30 : L. Beklemishev : "On Logical Formalisms for Quantum Circuits"
LUNCH
14h00 - 14h30 : S. Smets : "On Quantum Propositional Dynamic Logic"
14h30 - 15h30 : A. Baltag : "Dynamic and Epistemic Logics for Quantum Measurements"
15h30 - 16h00 : coffee
16h00 - 16h30 : F. Valckenborgh : "On the Use of Topos-Theoretic Methods in Quantum Logic"
16h30 - 17h00 : M. Sadrzadeh : "Quantales for Resource-Sensitive Reasoning"
Friday
10h30 - 11h00 : J.P. Van Bendegem : "The relevance of paraconsistent logics for developing alternative mathematics (and hence alternative physics)"
11h00 - 11h30 : R. Duncan : "Proofs as Quantum Circuits"
11h30 - 12h30 : B. Coecke : "The Logic of Entanglement"
LUNCH
14h00 - 15h00 : S. Abramsky : t.b.a.
15h00 - 15h30 : coffee
15h30 - 16h00 : W. Christiaens : "Some remarks on the possibility of seeing logic as the progressive and ever more general development of subsuming structures in the internal formation of physical theory"
16h00 - 16h30 : K. Verelst : "Zeno's Paradoxes: a Cardinal Problem"
Saturday
11h00 - 11h30 : P. Hines: "Machine Semantics - towards an abstract theory of classical and quantum state machines"
11h30 - 12h30 : A. Wilce : "Topological Methods in Quantum Logic"
LUNCH
14h00 - 15h00 : P. Ptak : "Preboolean and Prehilbert Quantum Logics"
15h00 - 15h30 : coffee
15h30 - 16h00 : J. Harding : t.b.a.
Scientific Committee
Diderik Batens (Universiteit Gent), Bob Coecke (University Oxford), John Harding (New Mexico State University), Leon Horsten (Katholieke Universiteit Leuven), Sonja Smets (Vrije Universiteit Brussel), Jean Paul Van Bendegem (Vrije Universiteit Brussel)
Organizing Committee
John Harding (New Mexico State University), Sonja Smets (Vrije Universiteit Brussel), Leon Horsten (Katholieke Universiteit Leuven), Jean Paul Van Bendegem (Vrije Universiteit Brussel)