Home Program Location VUB Where to Stay? Contact us

Program PML-2004: Schedule of Talks Invited Talks: 60 minutes including discussion Contributed Talks: 30 minutes including discussion There will be a workshop dinner on saturday evening and a social program on sunday, the 8th of February 2004 (contact us if you want to attend it). Invited Speakers at this workshop S. Abramsky : t.b.a. A. Baltag : "Dynamic and Epistemic Logics for Quantum Measurements" B. Coecke: "The Logic of Entanglement" P. Panangaden : "Quantum Predicate Transformers" P. Ptak : "Preboolean and Prehilbert Quantum Logics" A. Wilce : "Topological Methods in Quantum Logic" List of Contributed Speakers at this workshop L. Beklemishev: "On Logical Formalisms for Quantum Circuits" R. Duncan: "Proofs as Quantum Circuits" 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" J. Harding: t.b.a. P. Hines: "Machine Semantics - towards an abstract theory of classical and quantum state machines" M. Sadrzadeh: "Quantales for Resource-Sensitive Reasoning" S. Smets: "On Quantum Propositional Dynamic Logic" F. Valckenborgh : "On the Use of Topos-Theoretic Methods in Quantum Logic" J.P. Van Bendegem: "The relevance of paraconsistent logics for developing alternative mathematics (and hence alternative physics)" K. Verelst: "Zeno's Paradoxes: a Cardinal Problem"

LAST UPDATED: 28 January 2004